scala-ide/scala-ide — pull request #212 by dragos (2012-10-16 12:15:14+00:00)
Title: Remove ScalaIDE product definitions and dependencies.

Fixed #1001281.

review by @skyluc