Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into klement
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Jul 2020 22:06:14 +0000 (00:06 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Jul 2020 22:06:14 +0000 (00:06 +0200)

Trivial merge