Merge pull request #114 from zooko/2305-remove-obsolete-tools-from-misc
authorDaira Hopwood <daira@jacaranda.org>
Thu, 2 Oct 2014 15:01:03 +0000 (16:01 +0100)
committerDaira Hopwood <daira@jacaranda.org>
Thu, 2 Oct 2014 15:01:03 +0000 (16:01 +0100)
remove all the unused scripts from build_helpers


Trivial merge