chiark / gitweb /
hole-repair-20191117: wip, before abandon roundedness
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:05:55 +0000 (22:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:05:55 +0000 (22:05 +0000)
commit37232cfef194094f0b459cb58cfc2bf1ed37d9e5
tree340a3cbb1bfee3383b1cce7ec529d6edba2cb083
parent72f988e23abe2721fdc8b95905619c2c4326c6e3
hole-repair-20191117: wip, before abandon roundedness

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