Created page with "Si ''git pull'' ne montre aucun changement, il n'est pas nécessaire de taper ''make install''." |
No edit summary |
||
Line 1: | Line 1: | ||
Si ''git pull'' ne montre aucun changement, il n'est pas nécessaire | Si ''git pull'' ne montre aucun changement, il n'est pas nécessaire d'exécuter la commande ''make''. |
Latest revision as of 16:05, 23 March 2020
Si git pull ne montre aucun changement, il n'est pas nécessaire d'exécuter la commande make.