chiark / gitweb /
poster-tube-lid: catch_pin_width fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 22 Nov 2018 20:01:07 +0000 (20:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 22 Nov 2018 20:01:13 +0000 (20:01 +0000)
commitc045568d7207843d00deec666601b022ce37acc9
treed0c35407125178febb661c8f836e5185b536c07a
parente7afe80020d93c2050e3cd835ada9bee53839ed5
poster-tube-lid: catch_pin_width fix

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