Laurent Rineau 4f012205a9 Fix issue #1788 ... LEDA 6.3 has known I/O bugs, that were reported, and are fixed in LEDA 6.4. We have to deactivate that test, because it loops forever with LEDA 6.3.		2017-01-09 17:17:46 +01:00
..
Installation	Fix issue #1788	2017-01-09 17:17:46 +01:00
CMakeLists.txt	It is CMake 2.8.11 that we want.	2015-07-13 12:21:54 +02:00