Labels Milestones
BackSphere(r=DivotRadius, $fn=40); // Divot1: Centered cylynrical divot // Hole radius.
- 0.734384 -0.392543 0.553705 facet.
- -2.357160e-03 4.359215e-01 vertex -1.052496e+02 9.725134e+01 1.110874e+01.
Sphere(r=DivotRadius, $fn=40); // Divot1: Centered cylynrical divot // Hole radius.