Labels Milestones
Back-9.17613 20.0916 vertex -1.77842 7.79176 19.9496 facet normal 4.487498e-001 7.873989e-001 4.226424e-001 vertex -7.089681e-001 -5.456855e+000 2.480400e+001 facet normal 3.267371e-13 -1.000000e+00 -1.906464e-14 facet normal 8.555891e-01 4.584470e-03 5.176353e-01 vertex.
- 0.472777 -0.88054 0.0336276 facet normal.
- { cylinder(r=hole_r, h=thickness*2); echo("Putting a hole.