Bonjour,
Notre groupe n'a pas de dossier 'provided' dans le repo git du projet. Faut-il l'ajouter d'une autre façon ou s'agit-il simplement d'un oubli?
Le nom du groupe est 'nico-nico-nii' pour information.
Merci d'avance
Bonjour,
Notre groupe n'a pas de dossier 'provided' dans le repo git du projet. Faut-il l'ajouter d'une autre façon ou s'agit-il simplement d'un oubli?
Le nom du groupe est 'nico-nico-nii' pour information.
Merci d'avance
ah étrange en effet. le push n'était pas parti chez vous, je ne sais pas pq.
C'est fait maintenant.
Follow the pulses of EPFL on social networks
© 2023 EPFL, all rights reserved