Maxime Gimeno 7e05923005 Remove the if !defined(CGAL_HEADER_ONLY) in the get_default_random() function. Random has bee fixed in 4.9 but this test was forgotten.		2020-12-15 09:51:13 +01:00
..
Random.h	Remove the if !defined(CGAL_HEADER_ONLY) in the get_default_random() function. Random has bee fixed in 4.9 but this test was forgotten.	2020-12-15 09:51:13 +01:00
Random_impl.h	First pass on removing license notice in header for LGPL files	2019-10-19 15:40:30 +02:00