Labels Milestones
Back$abs=preg_replace($re, '/', $abs, -1, $n)) {} /* absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with.
- -4.56026 19.9509 facet normal.
- -6.737715e-001 6.246960e-001 vertex -3.471306e+000 2.686626e+000 2.488700e+001 facet.