Labels Milestones
BackHigh)
- 496e3e3344 Correcting changed filename.
- Normal 7.176975e-16 0.000000e+00 1.000000e+00 vertex.
- 2 + hole_diameter + hole_margin*2; side_margin.
- Normal -0.360201 0.282974 0.888921 vertex.
- 12.4333 facet normal 0.634386 -0.773016 0.