scala-ide/scala-ide-play2 — pull request #219 by huitseeker (2014-07-25 13:22:14+00:00)
Title: Switches to new ScalaProject API

See https://github.com/scala-ide/scala-ide/pull/747