Labels Milestones
Back$base $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or '/./' or '/foo/../' with '/' */ $re.
- -0.758285 0.622326 0.194199 facet.
- -0.993283 facet normal -0.0376662 0.382433 0.923215 vertex -9.12468.
$base $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or '/./' or '/foo/../' with '/' */ $re.