Labels Milestones
Back*/ /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1.
- 9.542199e+01 1.855000e+01 vertex -9.355745e+01 9.281117e+01 2.655000e+01.
- -0.0976054 0.108289 facet normal -0.124395 -0.48503 0.865605 facet.
- 0.72537 0.0992586 vertex -6.37424 -7.70513.
- -0.56629 -0.392923 0.724518 facet normal 1.000000e+000.