3
1
Back

Absolute URL */ /* replace '//' or '/./' or '/foo/../' with '/' */ } /* dirty absolute URL */ $abs = "$host$path/$rel"; /* replace '//' or '/./' or '/foo/../' with '/' */ for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) {} $re = array( '#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#' ); for ($n = 1; //non-printing, barely-visible outline of component footprints printer_z_fix = 0.2; // Padding to maintain manifold render(convexity .

New Pull Request