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

..

include/CGAL

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

package_info/Random_numbers

Fix dependencies

2019-10-11 11:57:46 +02:00

src/CGAL

extra run of the script to remove tabs and trailing whitespaces

2020-03-26 14:16:06 +01:00

test/Random_numbers

extra run of the script to remove tabs and trailing whitespaces

2020-03-26 14:16:06 +01:00