Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge commit '458ff11'
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 18 Jul 2016 14:38:40 +0000 (16:38 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 18 Jul 2016 14:38:40 +0000 (16:38 +0200)

Trivial merge