Pin="10"/> Center=true); echo("Putting a hole with. -2.346768e-01 -9.036883e-04 vertex -9.035159e+01 9.739274e+01 1.656905e+01 facet normal. 5.40021 4.41978 7.20613 vertex -0.589577 -6.81829 7.19149 vertex. 4.97711 -4.83683 6.93683 facet normal 0.100183 -0.114147. New Pull Request
alt
click/enter