3
1
Back

Preg_replace($re, '/', $abs, -1, $n)) {} $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module pot_wh148() { module mounting_hole_m3(h=thickness, flange=8, style="nut"){ cube([flange, flange, h], center=true); if (style == "nut"){ // a hexagonal cutout (undersize to melt an m3 nut into // a hexagonal cutout (undersize to melt an m3 nut into module.

New Pull Request