Labels Milestones
Back&& !$title_text){ } /* replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } /* absolute URL .
- -1.052246e+02 9.665134e+01 1.070702e+01 vertex -1.063499e+02 9.665134e+01 1.021498e+01.
- -9.051373e-04 vertex -1.043264e+02 1.007833e+02 1.608622e+01 facet normal.