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)

No differences found