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. -- Jeff Carter "From this day on, the official language of San Marcos will be Swedish." Bananas 28 ------------------------------------------------------------------------------ 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