chiark / gitweb /
hole-repair-20191117: adjustments from email
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Nov 2019 16:11:11 +0000 (16:11 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 28 Nov 2019 16:11:11 +0000 (16:11 +0000)
commit0b973b931dddcb8b9fc99ca061400e2fc8730434
tree2af7d713b394a261cf63f6abd44b4a9a3d42acee
parent9210fe792b53a16ce72cf5da124548731c94a38d
hole-repair-20191117: adjustments from email

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