Michael Hemmer 67fc50ba84 change Interval_traits to a class, as all other related traits classes

2010-06-11 08:05:45 +00:00

..

CGAL

change Interval_traits to a class, as all other related traits classes

2010-06-11 08:05:45 +00:00