chiark / gitweb /
air-hockey-puck: wip
[reprap-play.git] / hole-repair-20191117.scad
2023-12-28 Ian JacksonMerge commit '875be22af707972efae3359b08ec78a328c91f59'
2023-09-16 Ian JacksonMerge commit '92f9d78ecdcd2ee53ac7519c19c91cdd71122d22'
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