Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master' master next
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 14 Jun 2019 09:04:43 +0000 (11:04 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 14 Jun 2019 09:04:43 +0000 (11:04 +0200)

Trivial merge