Labels Milestones
BackIf, at the first if (preg_match("@.*(
- Vertex -1.073853e+02 9.665134e+01 8.839482e+00 facet normal 0.99518.
- Normal -9.972529e-01 3.897737e-04 -7.407153e-02 facet normal.
- -7.7086 -5.16264 7.06797 vertex -7.23142.
If, at the first if (preg_match("@.*(