Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'github/master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 16 Mar 2019 14:18:57 +0000 (15:18 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 16 Mar 2019 14:18:57 +0000 (15:18 +0100)

Trivial merge