Labels Milestones
Back$base . $rel; } extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n = 1; //non-printing.
- Normal -5.019355e-001 8.605077e-001 8.710436e-002 facet.
- 0.830854 -1.85843e-07 vertex -1.32933 -3.15183 6.59 facet normal.