Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cut the dirname in error messages so that the tests remain reproducible
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 13 Sep 2015 19:52:20 +0000 (21:52 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 13 Sep 2015 19:53:20 +0000 (21:53 +0200)
This was already the case 2 hours ago, but now, do it in a portable way.


No differences found