Labels Milestones
Back(cleanup // only keep everything starting at the first if(preg_match("@.*(
- -0.741154 -0.224826 0.632569 vertex 8.08229 -3.34779 5.33536 facet.
- 5.682186e-001 7.524709e-001 vertex 3.522607e+000 -2.783908e+000 2.491820e+001 facet normal.