Laurent Rineau dee147bc89 Merge pull request #5282 from maxGimeno/Random_header_only-maxGimeno ... Random_numbers : re-activate the seed printing in cgal_only		2020-12-16 17:49:04 +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	Use FeatureSummary in the demo, and remove CGAL_FOUND	2020-08-04 12:46:17 +02:00