Guillaume Damiand ebc4300334 Header only for random.cpp. ... For the header only version, the global variable default_random no more exist => we need to replace all occurences of default_random by a call to the global function get_default_random(). As usual, no modification for the non header only version.		2014-11-14 14:20:26 +01:00
..
Polygon_2	Header only for random.cpp.	2014-11-14 14:20:26 +01:00
Polygon_2.h	Making polygon modification easier	2013-09-25 15:24:07 +02:00
Polygon_2_algorithms.h	add global functions bbox_2 and bbox_3 in the Kernel	2013-05-31 19:44:21 +02:00
Polygon_traits_2.h	change LGPLv2 -> LGPLv3	2011-10-10 13:48:25 +00:00