Andreas Fabri 92829bfe28 Don't call Random::get_int(0,0) as [0,0) is not well defined

2010-10-06 06:17:09 +00:00

..

CGAL

Don't call Random::get_int(0,0) as [0,0) is not well defined

2010-10-06 06:17:09 +00:00