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)
commit7897fb8815dbff65907f646efb6f3ccf024e5481
tree23d302a42408c3d812576da0ed4df6d26e865f4b
parent588dc97517551ae1a72f8525930b5fccba73f6b0
parentc72fe2fc57249afaddb4d49555e71934095e639c
Merge remote-tracking branch 'origin/mc'

Conflicts:
src/mc/mc_checkpoint.c