205-00072 pitch 7.5mm size. Rotate_extrude(convexity=10, $fn=fn4) polygon(points=[ [x0,y1],[x1,y1],[x2,y2],[x2,y3],[x1,y4],[x0,y4. 8.99675 3.82299 facet normal. New Pull Request
alt
click/enter