Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revert "Add ModelChecker build type"
authorPaul Bédaride <paul.bedaride@gmail.com>
Thu, 31 Jan 2013 10:14:00 +0000 (11:14 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Thu, 31 Jan 2013 10:14:00 +0000 (11:14 +0100)
This reverts commit 07eb7317b31474d0b6702c255741b194dbfd2d6d.

Conflicts:
CMakeLists.txt


No differences found