chiark / gitweb /
hole-repair-20191117: wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:02:06 +0000 (22:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:02:06 +0000 (22:02 +0000)
commitf70c7876829d5382f9fd81e332c8dfa00485c140
tree41d9f51249cfc83ad211599ca241949d9f10980a
parent2a0ace050e5b29cd4b69adef2064716da0598568
hole-repair-20191117: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
hole-repair-20191117.scad [new file with mode: 0644]