synth_tools

Back

Or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} footprint "Jack_3.5mm_QingPu_WQP-PJ398SM_Vertical_CircularHoles_Socket_Centered" (version 20211014.

1.005513e+02 6.078580e+00 facet normal.
0.634425 0.0895734 facet normal -0.828666.
3.23535 0.378418 18.9636 facet.

New Pull Request

Labels Milestones