Labels Milestones
Back'#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n = 1; $n > 0; $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL */ $abs = "$host$path/$rel"; function rel2abs($rel, $base) { if (preg_match("@.*(
- -0.564081 -0.273132 0.779238 facet.
- 3.650208e-001 9.063255e-001 facet normal -0.114117 0.0998673 0.988435 facet.