Laurent Rineau 865eee70f7 Support LEDA with thread-support ... If one use a library of LEDA that support threads, without setting LEDA_MULTI_THREAD, then one can get segfaults when creating new LEDA objects.		2014-08-04 15:53:58 +02:00
..
CGAL	Support LEDA with thread-support	2014-08-04 15:53:58 +02:00