Dépôt Git groupe projet : ajout de matériel

Dépôt Git groupe projet : ajout de matériel

by Jean-Cédric Chappelier -
Number of replies: 1

Bonjour,

je viens d'ajouter à votre dépôt git de groupe le matériel fourni cette semaine. Son rôle est expliqué au début du sujet de cette semaine. Faites un
git pull
pour le récupérer.
Remarque très importante : Pour éviter tout souci futur (conflits), il est primordial de NE JAMAIS MODIFIER LE CONTENU DU RÉPERTOIRE

provided/
!!


In reply to Jean-Cédric Chappelier

Re: Dépôt Git groupe projet : ajout de matériel

by Jean-Cédric Chappelier -

Nous venons d'ajouter dans votre répertoire `provided/` du matériel de test pour cette semaine (et avons corrigé une fuite de mémoire dans test-cpu-dispatch). Mettez à jour avec un

git pull