diff -r cbe0f752b70e -r d5322cf702ee misc/60932-top-cylinder-cutter-original.dat --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/misc/60932-top-cylinder-cutter-original.dat Thu Dec 28 19:07:02 2017 +0200 @@ -0,0 +1,1 @@ +2 24 18.182 0 -40 9 0 -38