Labels Milestones
Back" at ", hole_dist_side, height - hole_dist_top); cylinder(r=hole_r, h=thickness*2); echo("Putting a hole with radius: ", hole_r.
- -0.479685 0.225859 facet normal 0.977441.
- 0.109671 0.552039 -0.826575 vertex -0.566007 -2.84551 18.8953.