Labels Milestones
Back$abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs.
- 4.044623e+000 -2.334935e+000 -1.681500e-003 facet normal -9.715449e-001 2.368556e-001 0.000000e+000.
- Vertex 7.049743e-001 -4.473089e+000 2.494118e+001 facet.