Sébastien Loriot dfc386d65b Merge branch 'master' into HEAD		2023-06-22 14:05:45 +02:00
..
doc/Number_types	issue #7231 Improvement of layout of refines relations.	2023-04-12 09:49:53 +02:00
include/CGAL	Merge branch 'master' into HEAD	2023-06-22 14:05:45 +02:00
package_info/Number_types	Commit all new dependencies files	2018-03-06 18:44:48 +01:00
test/Number_types	Merge branch 'master' into HEAD	2023-06-22 14:05:45 +02:00
TODO	move comments to TODO	2016-10-06 09:55:50 +02:00