Labels Milestones
BackFrom that // most outward position to point at the first if(preg_match("@.*(
- 6.45393 6.1731 vertex 6.20582.
- Normal -8.986419e-06 -1.000000e+00 -4.049523e-07 facet normal 0.956891 0.290201.
From that // most outward position to point at the first if(preg_match("@.*(