Hole_dist_top); echo("Putting a hole with radius: ", hole_r. -0.359534 -7.07772 6.95295 vertex -5.2649 -4.9518 6.88859 facet. New Pull Request
alt
click/enter