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
..
doc/Kernel_d	Document that gcc-4.2 fails to compile Epick_d.	2014-06-26 18:40:49 +02:00
include/CGAL	Ok for the compilation version header only (only for the treated files).	2014-10-31 17:09:48 +01:00
noweb	remove package namespace macro	2010-06-09 08:45:58 +00:00
package_info/Kernel_d	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
test/Kernel_d	Header only for random.cpp.	2014-11-14 14:20:26 +01:00
dont_submit	Put doc/ in the global dont_submit file	2013-08-20 10:57:03 +02:00