chiark / gitweb /
poster-tube-lid: Remove redundant setting
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 9 Dec 2022 14:51:20 +0000 (14:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Dec 2022 11:37:05 +0000 (11:37 +0000)
commit1b54b3df99288a8907d90d6786fc6c96746b6506
treed34f50d7f4a612a5c9611f27cc10302990115bb8
parentd9db750f755a16cff04a07a3602d2b3205b7d370
poster-tube-lid: Remove redundant setting

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