Labels Milestones
BackH=thickness*2); echo("Putting a hole with radius: ", hole_r , " at ", width_mm.
- 0]) rotate([0, 0, 180] // Left side.
- -1.000000e+00 -5.088959e-07 vertex -1.043643e+02 9.665134e+01.
- Normal -0.401177 0.913294 0.07036 vertex -5.70114 9.87467.