> Le 13 août 2018 à 21:27, Jeffrey R. Carter <jrcar...@acm.org> a écrit : > > On 08/13/2018 09:22 PM, Pascal wrote: >> >> >> Did you start from a fresh empty folder (in order to prevent some GIT >> malicious effects)? > > No, I started from my existing gnoga directory. I did a git pull and a git > checkout dev_1.4. That should work; if it doesn't, then something is wrong and > needs to be corrected.
Hello Jeff, Shouldn't be the git pull after the git checkout? In order to be sure, can you report the output of: $ git status $ git log -1 Thanks for your help, Pascal. http://blady.pagesperso-orange.fr ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list