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

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

par Jean-Cédric Chappelier,
Number of replies: 0

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