chiark / gitweb /
toolbox-inserts: remove edge holes a different way (prep)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 17:59:27 +0000 (18:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 22 Apr 2025 18:03:07 +0000 (19:03 +0100)
commit66018f10089ace61bfa08ed8a7d1d89609d0616c
tree86468130244d42f4c0336477db96684a40aef8cb
parent0bccaeb1c3f23536d5710c0234c5b09518e98438
toolbox-inserts: remove edge holes a different way (prep)

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