Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin2/master'
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 7 Sep 2015 12:52:47 +0000 (14:52 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 7 Sep 2015 12:52:47 +0000 (14:52 +0200)

Trivial merge