Labels Milestones
BackSimpler than this // only keep everything starting at the first if(preg_match("@.*(
- -6.477763e-001 6.616451e-001 vertex -4.102768e+000 2.320718e+000 2.488918e+001 facet.
- Normal 0.0823699 -0.081813 0.993238 vertex.
Simpler than this // only keep everything starting at the first if(preg_match("@.*(