Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Oct 2019 21:20:45 +0000 (23:20 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Oct 2019 21:20:45 +0000 (23:20 +0200)

Trivial merge