scala/scala — pull request #118 by jsuereth (2012-01-20 16:02:32+00:00)
Title: Made the binary push script a bit friendlier for humans

push script now outputs nice error messages.

pull script now pulls from the `tools/` directory.

Review/use by @paulp