Labels Milestones
Back= hole_dist_side*4; v_margin = hole_dist_top*5; width_mm = hp_mm(h); } else { 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] ]); } else { 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] ]); } else { return $rel; .
New Pull Request