Labels Milestones
BackCylinder(h=thickness+standoff_height+3, r=hole_radius, $fn=360); vertex 0 -6.74156 7.03201 vertex 0 7.40505 6.86814 facet normal 0.977433.
- 0.464714 -0.548075 vertex -3.08346.
- Vertex -2.933353e+000 -4.865908e+000 2.496000e+001 vertex -2.772438e+000 4.890769e+000.