Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : #ifdef instead of #if (found by Cristian R., thx)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 16 Jul 2012 14:19:23 +0000 (16:19 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 16 Jul 2012 14:19:36 +0000 (16:19 +0200)
commitf35266523c599068c264085705e4d3a5b01b75ca
treea4ba39cd75de9086be878906e12d37ef3349db5a
parentbe19e964988343fe21eac64b7829e744f3fd4b4e
model-checker : #ifdef instead of #if (found by Cristian R., thx)
src/surf/surf_config.c