Brian Spilsbury 71bfcce226 Keep CGAL_IA_FORCE_TO_DOUBLE for the normal case		2021-03-04 00:26:36 +09:00
..
doc/Number_types	extra run of the script to remove tabs and trailing whitespaces	2020-03-26 14:16:06 +01:00
include/CGAL	Keep CGAL_IA_FORCE_TO_DOUBLE for the normal case	2021-03-04 00:26:36 +09:00
package_info/Number_types	…
test/Number_types	A little bit more	2021-03-03 19:55:06 +09:00
TODO	…