Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge remote-tracking branch 'origin/mc-fastsnapshot' into mc
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 24 Jul 2014 14:11:19 +0000 (16:11 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 24 Jul 2014 14:11:19 +0000 (16:11 +0200)
Conflicts:
buildtools/Cmake/Flags.cmake

1  2 
src/mc/mc_global.c
src/mc/mc_private.h

Simple merge
Simple merge