Labels Milestones
Back(anchor_hole=="right" || anchor_hole=="both") { if (preg_match("@.*(
- 3.732890e-002 -4.672400e+000 2.464800e+001 vertex -4.988278e+000 -2.963392e+000 -1.681500e-003.
- * rail_depth; right_edge = height .
- 0.99561 vertex -2.47375 -7.61343 19.9477 facet normal.