scala-ide/scala-ide — pull request #137 by emolitor (2012-07-02 15:28:36+00:00)
Title: Platform/juno

Merge juno support prepare to close branch.