chiark / gitweb /
categorycount is no longer of any use
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 31 Oct 2013 12:08:39 +0000 (13:08 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 31 Oct 2013 12:08:39 +0000 (13:08 +0100)
commit93b09413a41d07b804ec281030a084ad83ce3f64
tree79a522d7f8075a083ce50e0161f148be85222a23
parent59cde15ad11ee8e45e5e9f57e5ef616fbae90c20
categorycount is no longer of any use
tools/categorycount [deleted file]