Sébastien Loriot 0b353bb85b Merge remote-tracking branch 'origin/CGAL-use_leda-GF' ... Reintroduce the possibility to use CGAL without GMP (to use LEDA number types instead for example). The cmake option to set to switch off GMP when building the lib is CGAL_DISABLE_GMP. Tested in CGAL-4.5-Ic-86 Approved by the release manager ge is necessary,		2014-07-04 12:02:37 +02:00
..
CGAL	Merge remote-tracking branch 'origin/CGAL-use_leda-GF'	2014-07-04 12:02:37 +02:00