Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 4 Feb 2019 09:58:41 +0000 (10:58 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 4 Feb 2019 09:58:41 +0000 (10:58 +0100)

Trivial merge