Revision as of 09:05, 12 September 2019 by Lock42 (talk | contribs) (Created page with "Si ''git pull'' ne montre aucun changement, il n'est pas nécessaire de taper ''make install''.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Si git pull ne montre aucun changement, il n'est pas nécessaire de taper make install.