Labels Milestones
Back(anchor_hole=="right" || anchor_hole=="both") { if (preg_match("@.*(
- 3.08479 4.5363 21.833 vertex 4.44467 3.03604.
- Normal -2.498277e-001 -4.371983e-001 8.639698e-001 vertex 2.071909e+000.
- 3.975678e-004 -9.999999e-001 facet normal -0.0366054 0.152473 0.987629.