Philipp Moeller ee412c3f24 Remove unused static_warning include ... Static warning is undocumented and the include has changed before. It is also not used anywhere so removing the code increases stability.		2015-04-10 14:12:35 +02:00
..
include/CGAL	Remove unused static_warning include	2015-04-10 14:12:35 +02:00
package_info/Interval_support	New license.txt files (eol changes)	2013-02-19 16:46:39 +01:00
test/Interval_support	use GMP kernel	2010-02-12 17:39:46 +00:00