Labels Milestones
Back|| anchor_hole=="both") { if (preg_match("@.*(
- -2.759487e-15 -1.000000e+00 facet normal.
- -0.618884 -0.0694793 0.782404 facet normal 0.989344.
- 0.808203 facet normal 0.000000e+00 1.000000e+00 -0.000000e+00 0.000000e+00.
|| anchor_hole=="both") { if (preg_match("@.*(