3
1
Back

'//') { return 2; } /* replace '//' or '/./' or '/foo/../' with '/' */ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module title(string, size=12, halign="center", font=font_for_title) { color([1,0,0]) linear_extrude(thickness+1) text(string, size, halign=halign, font=font); // draw panel, subtract holes // v_wall(h=4.

New Pull Request