Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #374 from adegomme/master
authorMartin Quinson <624847+mquinson@users.noreply.github.com>
Thu, 11 Mar 2021 16:13:33 +0000 (17:13 +0100)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 16:13:33 +0000 (17:13 +0100)
commit5d70f95ee9e74e70bbf4932bef39ae76fb592fbd
treefc2a7fa275270d75d99031b4c54f4d72638faec3
parenta5683d1f7a96a99f9c1cefe71155632497f0b754
parent3c78b31e890782c8e4f521e64d0c10d538776312
Merge pull request #374 from adegomme/master

try to handle inconsistencies in github environments.