chiark / gitweb /
~ianmdlvl / reprap-play.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c93db1e) | patch
hole-repair-20191117: post joins properly
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:09:45 +0000 (22:09 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:09:45 +0000 (22:09 +0000)
commitf133ec1f6a4f75456cac4c14ac1ae7333518a929
tree953cd38c5b568ede6271256150a4b6bd886f0966tree | snapshot
parentc93db1ea90f2383207258dcebd493b17e52857d7commit | diff
hole-repair-20191117: post joins properly

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
hole-repair-20191117.scad diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.