chiark / gitweb /
belt-slot-cut-jig: delete an obsolete measurement (?)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Jun 2013 19:05:44 +0000 (20:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 13 Jun 2013 19:05:44 +0000 (20:05 +0100)
commit8de1c02172bc5caded372dd5d8dd1dc9449ffdc2
treebf10072a9384eac1638d5760cfce3a0e83927a2d
parent6dd4dd1e373058459a961cf3e078e7ff979765fd
belt-slot-cut-jig: delete an obsolete measurement (?)
belt-slot-cut-jig.scad