Labels Milestones
Back"$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs.
- -0.101831 -0.119239 0.98763 facet normal -9.683073e-01.
- 154.3475 126.213237 (end 156.1525 127.069999 (end 182.5.