chiark / gitweb /
8317 shorten extension arms again
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 23 Aug 2012 08:25:31 +0000 (09:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 23 Aug 2012 08:25:31 +0000 (09:25 +0100)
commit9f3e2994a9b6f739d09198493a6e84853abd4f52
tree44607e1bac144d66625c64f63c5a950e69c7234f
parent015a90be4c6b6b99a803ba39f72d80dd1ff1efa7
8317 shorten extension arms again
th-8317/Makefile