Labels Milestones
Back(anchor_hole=="left" || anchor_hole=="both") { if (preg_match("@.*(
- -5.569738e+000 4.292930e+000 9.983999e+000 vertex -6.413717e+000 -2.985593e+000 9.983999e+000 vertex.
- -6.45393 6.1731 facet normal.
(anchor_hole=="left" || anchor_hole=="both") { if (preg_match("@.*(