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
..
demo	…
doc/Bounding_volumes	restore figure source files removed in 0fa2cacb	2014-02-10 14:54:23 +01:00
examples	s/Gmpq/Exact_rational/	2014-06-27 15:11:45 +02:00
include/CGAL	Header only for random.cpp.	2014-11-14 14:20:26 +01:00
package_info/Bounding_volumes	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
test/Bounding_volumes	Header only for random.cpp.	2014-11-14 14:20:26 +01:00
test_extensive	…
web	…
dont_submit	Put doc/ in the global dont_submit file	2013-08-20 10:57:03 +02:00