3
1
Back

*/ $re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module label(string, size=4, halign="center") { color([1,0,0]) linear_extrude(height) text(string, size, halign=halign, font=font_for_title); //} "filename": "Synth.

New Pull Request