Si git pull ne montre aucun changement, il n'est pas nécessaire de taper make install.
Si git pull ne montre aucun changement, il n'est pas nécessaire de taper make install.
This page was last edited on 12 September 2019, at 09:05.
Content is available under Public Domain unless otherwise noted.