Sébastien Loriot 017da74d54 remove no longer needed scripts ... if it happens that we really need them, they are still available in the history		2016-10-06 09:52:50 +02:00
..
doc	Merge pull request #1359 from lrineau/Documentation-deprecate_CGAL_VERSION-lrineau	2016-10-05 13:03:16 +02:00