Andreas Fabri 7c62b14fd0 Let's remove the manipulators again, as they are of little practical value

2017-06-30 18:13:42 +02:00

..

CGAL/IO

Let's remove the manipulators again, as they are of little practical value

2017-06-30 18:13:42 +02:00