3
1
Back

Array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module x4_7seg_14_22mm_display() { cube([50.5, 19.25, thickness]); } module label(string, size=4, halign="center", height=thickness+1, font=default_label_font) { color([1,0,0]) linear_extrude(height.

New Pull Request