chiark / gitweb /
tube-crossdrill-jig: sort out slot plug shape