Labels Milestones
Back$n > 0; $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, .
- -3.131999e-003 6.715497e-001 vertex 5.121105e+000.
- 2.129188e-001 -3.650230e-001 9.063243e-001 facet normal.
- -0.769325 0.0975683 facet normal 0.433624 -0.16179 0.88645.