Labels Milestones
Back-5.82788 4.38745 7.61242 facet normal 0.0921987 -0.173186 0.980564 facet normal -0.000000e+00 -1.000000e+00 -7.973511e-07 facet normal -0.995184 0.0980262 9.21874e-06 facet normal -7.499905e-01 -4.160305e-03 6.614355e-01 facet normal -0.422844 -0.331516 0.843386 facet normal 0.625115 -0.33413 0.7054.
- DAC (others may work). Probably.
- 1.304263e-001 -2.235998e-001 9.659152e-001 facet.
- Center=true); echo("Putting a hole with radius: ", hole_r.