chiark / gitweb /
poster-tube-lid: abolish top_thick (which is now not really meaningful)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 9 Oct 2017 01:44:32 +0000 (02:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 9 Oct 2017 01:44:32 +0000 (02:44 +0100)
commitd2640239074b9cf594e5eaa4c82640d7e92613cd
treeb8c7162d4eab4bedebebf698a4670cc5a46992f0
parentf43f044b77ba4a3765ca8b886a111a4dcbb0436d
poster-tube-lid: abolish top_thick (which is now not really meaningful)
poster-tube-lid.scad