Labels Milestones
Back{ /* absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n .
- 2.68773 18.9318 facet normal -8.884378e-01 -4.589969e-01 3.226323e-04.
- 0.0993387 vertex -5.09939 6.16411 20 facet normal -0.0974293.