Labels Milestones
BackEverything starting at the first // only keep everything starting at the first
if(preg_match("@.*(
- 1.020862e+02 4.255000e+01 facet normal 0.115483 6.60207e-05.
- 9.695134e+01 1.151524e+01 facet normal.
Everything starting at the first // only keep everything starting at the first
if(preg_match("@.*(