Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'mc'
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 29 Aug 2014 10:31:11 +0000 (12:31 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 29 Aug 2014 10:31:11 +0000 (12:31 +0200)

Trivial merge