Labels Milestones
Back-7.747 (end 0 -12.827 (end 0 -12.827 (end 0 -0.127 (end 0 7.493 (end 0 -7.747 (end 0 -4.45 (end -4.5 6 (end 1.8 0 (end 4 0 (end -0.883605 1.0875 (end -0.633605 1.3375 (end 3.75 0 (end 1.8 1.8 (end.
- Hole_dist_top); cylinder(r=hole_r, h=thickness*2); echo("Putting a hole.
- Normal 9.153533e-07 -1.000000e+00 4.152657e-07 facet normal.