Sylvain Pion 99394f2bed Prefer .to_vector() to .direction() when converting Line_3 as this is what is stored

2006-08-07 12:41:26 +00:00

..

CGAL

Prefer .to_vector() to .direction() when converting Line_3 as this is what is stored

2006-08-07 12:41:26 +00:00