(Created page with "Si ''git pull'' ne montre aucun changement, il n'est pas nécessaire de taper ''make install''.") |
(No difference)
|
Revision as of 09:05, 12 September 2019
Si git pull ne montre aucun changement, il n'est pas nécessaire de taper make install.