Le 03/03/2018 à 23:41, Antoine ELIAS a écrit :
You can download the diff file and apply it to your local repo.git apply xxxxxxxx.diff After that you have modified files locally. (without commit, history, ...)
But then, local files are still spread among the Scilab tree. Aren't they? _______________________________________________ dev mailing list [email protected] http://lists.scilab.org/mailman/listinfo/dev
