chiark / gitweb /
toolbox-inserts: remove edge holes a different way
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 18:02:54 +0000 (19:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 18:03:14 +0000 (19:03 +0100)
commit39deb571ba6bc28b9e7c8744a1a2a43c6975acee
tree35ceab6a0b166fc973e5602cfceff39a5682db87
parent4074deabbe03abcf50f395e2733eae4a015bf07c
toolbox-inserts: remove edge holes a different way

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
toolbox-inserts.scad