Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'mc'
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 4 Apr 2014 13:19:43 +0000 (15:19 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 4 Apr 2014 13:19:43 +0000 (15:19 +0200)

Trivial merge