Revision as of 16:05, 23 March 2020 by Vincent (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Si git pull ne montre aucun changement, il n'est pas nécessaire d'exécuter la commande make.