chiark / gitweb /
poster-tube-lid: Sort out CatchTipProfile vs HeadProfile
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Nov 2018 22:43:17 +0000 (22:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Nov 2018 22:43:17 +0000 (22:43 +0000)
commitf3e2f78afea6dc15fa7ccaf5b2865a2dfb536147
tree897d37980a6ed77460e86d2cea3ba1dd28ee5d0d
parentcf9437eeafb02b8f491eb63738cdda6cfe4e0587
poster-tube-lid: Sort out CatchTipProfile vs HeadProfile

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