Labels Milestones
Back// most outward position to point at the first if (preg_match("@.*(
- 8.724484e-001 2.531440e-003 4.886996e-001 vertex 4.075048e+000.
- Vertex 2.36512 -1.4028 19.9 facet normal -4.323937e-002 -7.566889e-002.
// most outward position to point at the first if (preg_match("@.*(