synth_tools

Back

PHP_URL_SCHEME) != '' || substr($rel, 0, 2) == '//') { return $base.$rel; } extract(parse_url($base)); $path = preg_replace('#/[^/]*$#', '', $path); /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n.

For 5 times 0.5 mm².
-9.052805e-01 -2.848077e-03 -4.248047e-01 facet normal.
0.0992791 vertex 8.76307 4.81754 0 facet.

New Pull Request

Labels Milestones