Labels Milestones
Back-3.012618e+000 4.746768e+000 1.747200e+001 facet normal -0.113987 -0.0621138 0.991539 facet normal 4.328695e-01.
- 1.87938 2.7843 6.59 facet normal.
- -0.36774 -0.111504 0.92322 vertex 1.75581 -8.82707 0.
- { cylinder(r=hole_r, h=thickness*2); echo("Putting a hole.