chiark / gitweb /
digispark-with-cable: rename side_wall_th
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 19 Oct 2023 14:54:14 +0000 (15:54 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 26 Oct 2023 17:10:37 +0000 (18:10 +0100)
commit7c400d3698fb595f1ba2570d0aba661a7ad0707b
tree94fc292056bb879272f8d6461f0a6811bce1ebef
parent74ea7fffa72112052e7cf46280b8ed96b5b42bf4
digispark-with-cable: rename side_wall_th

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
digispark-with-cable.scad