Andreas Fabri 535045a527 trailing whitespace		2023-02-17 08:46:44 +00:00
..
doc/Number_types	Merge branch 'master' into feature/bug_documentation_spell_20221113	2022-12-06 22:21:06 +01:00
include/CGAL	trailing whitespace	2023-02-17 08:46:44 +00:00
package_info/Number_types	…
test/Number_types	fixes	2023-02-10 11:11:40 +00:00
TODO	…