Labels Milestones
BackVertex -9.818951e+01 9.175385e+01 1.855000e+01 vertex -1.038648e+02 1.020220e+02 1.055000e+01 vertex -9.838217e+01 1.060245e+02 2.550000e+00 facet normal -0.956923 0.288385 0.0336454 vertex -1.04186 6.43 13.35 vertex 1 6.36215 13.3567 vertex -1 5.30257.
- External_indicator_height], center = true, $fn.
- History --------------- 1.1 2012-04-12 Fixed the arrow.