chiark / gitweb /
poster-tube-lid: Rename StrapLoop from StrapHoop
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Aug 2023 09:55:55 +0000 (10:55 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 28 Aug 2023 09:55:55 +0000 (10:55 +0100)
commitbdc2a947c560ee078f860602a774de91d42050ce
treeadb636237d5065c5c0a5a3f9c58aaa2277179b36
parentd07b157ab37a7c0a78e997204b59acaa537dbf6a
poster-tube-lid: Rename StrapLoop from StrapHoop

Hoop sounds like the whole thing.

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