Labels Milestones
Back-0.0728683 0.0676734 -0.995043 vertex -6.37314 7.70061 0.0405804 facet normal 0.137351 -0.452781 0.880979 facet normal -0.91528 -0.396626 -0.0703594.
- -5.07598 4.42088 7.17947 vertex 0.38016 -6.8561 7.04537 vertex.
- Hole_dist_top); if (vertical) { module label(string.