Marc Glisse 6bf9913015 Add $URL$ and $Id$. ... I thought those were long dead...		2018-10-16 15:05:17 +02:00
..
CGAL	Add $URL$ and $Id$.	2018-10-16 15:05:17 +02:00