chiark / gitweb /
belt-slot-cut-jig: delete an obsolete measurement (?)