scala-ide/scala-ide — pull request #145 by emolitor (2012-07-06 11:53:30+00:00)
Title: Platform/juno merge

Merge juno support with compatibility fix for Inidgo