Clement Jamin 9a61b23b55 Use get_default_random() instead of default_random		2016-03-09 10:35:21 +01:00
..
doc/Matrix_search	Use CGAL_DOC_VERSION	2016-02-11 15:37:54 +01:00
examples/Matrix_search	Use get_default_random() instead of default_random	2016-03-09 10:35:21 +01:00
include/CGAL	one more reindentation	2016-01-21 10:23:19 +01:00
package_info/Matrix_search	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
test/Matrix_search	Use get_default_random() instead of default_random	2016-03-09 10:35:21 +01:00