chiark / gitweb /
~ianmdlvl / reprap-play.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf2116e) | patch
hole-repair-20191117: fix
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:19:14 +0000 (22:19 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Nov 2019 22:19:14 +0000 (22:19 +0000)
commit9210fe792b53a16ce72cf5da124548731c94a38d
tree4acffe0f27935a84045c3fcfc5cf9a2f3d741bcftree | snapshot
parentbf2116e4601ca377d5d009eedf3a06216ee7cbd0commit | diff
hole-repair-20191117: fix

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.