Labels Milestones
Back-4.711684e-001 8.820432e-001 0.000000e+000 vertex 2.396324e+000 -6.709526e+000 9.983999e+000 vertex -3.765772e+000 5.933461e+000 2.496000e+001 vertex 4.028628e+000 -4.029531e+000 9.983999e+000 vertex 2.741467e-001 -5.690018e+000 9.983999e+000 vertex 3.614395e+000 -4.406236e+000 9.983999e+000.
- -0.695767 -0.464146 -0.548158 facet.
- - hole_dist_side, hole_dist_top); cylinder(r=hole_r, h=thickness*2); echo("Putting a hole.