chiark / gitweb /
Add 'diziet-utils/' from commit 'd070a0324f10f76f9c97d8f56f864f0cafa88cf1'
[reprap-play.git] / hole-repair-20191117.scad
2023-09-16 Ian JacksonAdd 'diziet-utils/' from commit 'd070a0324f10f76f9c97d8...
2019-11-28 Ian Jacksonhole-repair-20191117: adjustments from email
2019-11-28 Ian Jacksonhole-repair-20191117: adjustments from email
2019-11-17 Ian Jacksonhole-repair-20191117: fix
2019-11-17 Ian Jacksonhole-repair-20191117: finished quality
2019-11-17 Ian Jacksonhole-repair-20191117: mostly finished
2019-11-17 Ian Jacksonhole-repair-20191117: post joins properly
2019-11-17 Ian Jacksonhole-repair-20191117: wip
2019-11-17 Ian Jacksonhole-repair-20191117: abandon roundedness
2019-11-17 Ian Jacksonhole-repair-20191117: wip, before abandon roundedness
2019-11-17 Ian Jacksonhole-repair-20191117: wip
2019-11-17 Ian Jacksonhole-repair-20191117: wip