3
1
Back

. $rel; for ($n = 1; $n > 0; $abs = preg_replace($re, '/', $abs, -1, $n)) { } else if ( hsh >= 0 ) { rotate_extrude(convexity=10, $fn=fn4) polygon(points=[ [x0,y0],[x1,y0],[x1,y1],[x2,y2], [x2,y3],[x1,y4],[x1,y5],[x0,y5] ], paths=[ [0,1,2,3,4,5,6,7] ]); } else { cube([12.25, 19.25, thickness]); cube([25, 19.25, thickness.

New Pull Request