Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
oops, we broke non-model-checking builds yesterday. Sorry guys
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 22 Jun 2012 07:59:23 +0000 (09:59 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 22 Jun 2012 07:59:23 +0000 (09:59 +0200)
commit7ee2063d69289e99a0900135ba1625ac0bc514e0
tree9b3dfddf214389fc352a15811c52e2d7559d8859
parenta72c35e85de2cb28f96f869aaf6f7f59d73461ce
oops, we broke non-model-checking builds yesterday. Sorry guys
src/msg/msg_global.c
src/surf/surf_config.c