Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge 'master' into mc
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Feb 2014 09:04:38 +0000 (10:04 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 24 Feb 2014 09:04:38 +0000 (10:04 +0100)
Conflicts:
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_private.h


No differences found