Maxime Gimeno 97ba0f33f4 Fix for the header() function ... - I forgot half the work on that one.		2016-01-12 10:30:06 +01:00
..
demo/Three/Example_plugin	Merge pull request #522 from maxGimeno/Polyhedron_demo-Hierarchic_view-GF	2015-12-04 17:02:39 +01:00
doc/Three	Merge pull request #522 from maxGimeno/Polyhedron_demo-Hierarchic_view-GF	2015-12-04 17:02:39 +01:00
include/CGAL/Three	Fix for the header() function	2016-01-12 10:30:06 +01:00
package_info/Three	…
dont_submit	…