Marc Glisse 8ddf8255d5 Merge branch 'Kernel_d-rewrite-glisse-old' into Kernel_d-rewrite-glisse ... Hopefully the doc will be easier to build this way.		2013-11-23 12:34:18 +01:00
..
CGAL	Merge branch 'Kernel_d-rewrite-glisse-old' into Kernel_d-rewrite-glisse	2013-11-23 12:34:18 +01:00