synth_tools

Back

Replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} $re .

-0.4 3.34543 16.8559 facet normal 6.908958e-001 -7.229543e-001.
Normal 5.086343e-001 3.109915e-003 8.609771e-001.

New Pull Request

Labels Milestones