Labels Milestones
Back//no-op else { // only keep everything starting at the first if (preg_match("@.*(
- Normal -2.129164e-001 3.650182e-001 9.063268e-001 facet normal -2.588559e-001.
- Vertex -6.313201e+000 3.108942e+000 9.983999e+000 vertex.
- -3.408185e+000 2.484855e+001 facet normal 4.851193e-001 8.489587e-001 2.095910e-001 vertex.