Sylvain Pion b8b87ab5a5 Actually, the "// file: example_bla.cpp" lines are not needed anymore, ... since the manual tools know it. So let's just remove them (many were not uptodate with the filemane anyway).		2007-03-10 14:48:00 +00:00
..
Polyhedron_IO	Actually, the "// file: example_bla.cpp" lines are not needed anymore,	2007-03-10 14:48:00 +00:00