scala-ide/scala-ide — pull request #624 by huitseeker (2014-01-17 10:10:30+00:00)
Title: Bumping sbt version to 0.13.1

This is hoping for a fast merge after PR validation.