Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/mc'
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Apr 2014 08:08:39 +0000 (10:08 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Apr 2014 08:08:39 +0000 (10:08 +0200)
Conflicts:
src/mc/mc_checkpoint.c


Trivial merge