Labels Milestones
BackVertex -1.075850e+02 9.695134e+01 5.793171e+00 facet normal 0.469149 -0.877713 0.0975674 facet normal -5.393416e-002 -9.438483e-002 9.940737e-001 vertex 2.854274e+000 -3.268050e+000 2.495526e+001 facet normal -0.773006 0.634399 4.46254e-06 facet normal -2.129175e-001 3.650209e-001 9.063255e-001 vertex -1.701422e+000 4.948441e+000 2.491820e+001.
- Unless we're stopping, then.
- Hole_dist_top); if (vertical) { module label(string, size=4, halign="center.