chiark / gitweb /
Revert "poster-tube-lid: Remove curve from catch tip"
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Nov 2024 21:38:00 +0000 (21:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Nov 2024 21:38:00 +0000 (21:38 +0000)
commit216f26fcee0282bdac9f9b653463d7dd4e20ccf7
tree3fb8ee87e255dd2438f22579189e44d02c105a92
parent4ea587a736503be2c88046d0cd5540d5ded3f4a0
Revert "poster-tube-lid: Remove curve from catch tip"

This deletes the tip!  And apparently we never tested it.

This reverts commit 7318ed311c589c0856e774ccfeffe6e31ddf6704.

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