3
1
Back

$re = array('#(/\.?/)#', '#/(?!\.\.)[^/]+/\.\./#'); for($n=1; $n>0; $abs=preg_replace($re, '/', $abs, -1, $n)) { } module external_direction_indicator() { if(pointy_external_indicator == true } module label(string, size=4, halign="center", font=default_label_font) { color([1,0,0]) linear_extrude(thickness+1) text(string.

New Pull Request