Labels Milestones
Back'/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs.
- 1.70669 5.33536 facet normal 9.964620e-01 -8.403357e-02 1.343157e-03 vertex.
- -1.089743e+02 9.695134e+01 5.884033e+00 vertex -1.088952e+02 9.665134e+01.
- 9.996064e-01 2.805506e-02 -1.366834e-07 vertex -9.020292e+01 9.930476e+01.