chiark / gitweb /
hole-repair-20191117: wip
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:04:47 +0000 (22:04 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:04:47 +0000 (22:04 +0000)
commit72f988e23abe2721fdc8b95905619c2c4326c6e3
tree59f24e3d6543a586c1f67dbe38c3f2a14fa2adaf
parentf70c7876829d5382f9fd81e332c8dfa00485c140
hole-repair-20191117: wip

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
hole-repair-20191117.scad