Labels Milestones
Back= preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path = preg_replace('#/[^/]*$#', '', $path); if ($rel[0] == '/') { $path.
- 6.88717 facet normal -0.090682 -0.920074 0.381103 facet normal.
- -9.999901e-001 -4.452620e-003 0.000000e+000 vertex -4.919635e+000.