paulp/libscala — pull request #5 by paulp (2012-11-15 18:39:27+00:00)
Title: Tool fixes

I'm opening this pull request with the now-generalized gh-new-pull which should work with just about any github clone.