chiark / gitweb /
poster-tube-lid: catch: rework mostly done ?
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Nov 2018 21:51:06 +0000 (21:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Nov 2018 21:51:06 +0000 (21:51 +0000)
commit0dd084916e997047d879b074c71b5d40a311f747
tree7fea2103da6dc6f53548b9f965ffcef6e723ee11
parent22a422688b02e6d11945531cf528df8dae0a8e86
poster-tube-lid: catch: rework mostly done ?

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
poster-tube-lid.scad