Laurent Rineau 038d2d0ca1 Remove an unused GIF file that was re-added by error		2014-02-25 11:54:32 +01:00
..
Manual	…
images	Remove an unused GIF file that was re-added by error	2014-02-25 11:54:32 +01:00
cgal.css	…
cgal.ico	…
index.html	…