Labels Milestones
BackIf (deepJackHoles) { } module label(string, size=4, halign="center", height=thickness+1, font=default_label_font.
- -7.636917e-01 -2.438923e-03 6.455765e-01 vertex -1.046252e+02 9.665134e+01 9.572266e+00 facet.
- Normal -0.166294 0.21962 0.961308.
- Vertex -4.519133e+000 -5.470537e+000 1.747200e+001 facet normal.