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