Laurent Rineau 24b7b762f6 CGAL_DEPRECATED cannot be used on `default_random` ... Even if that variable is deprecated, it is still used internally by `get_default_random()`.		2016-03-09 17:01:59 +01:00
..
include/CGAL	CGAL_DEPRECATED cannot be used on `default_random`	2016-03-09 17:01:59 +01:00
package_info/Random_numbers	…
src/CGAL	Header only for random.cpp.	2014-11-14 14:20:26 +01:00
test/Random_numbers	Header only for random.cpp.	2014-11-14 14:20:26 +01:00