scala/scala — pull request #3084 by retronym (2013-10-28 12:03:03+00:00)
Title: Cleanup of tools/*

Refer to the commit comments for details.

Review by @paulp