scala-ide/scala-ide — pull request #802 by skyluc (2014-09-12 16:00:18+00:00)
Title: Additionnal changes needed to remove sdt.editor from the play plugin

Play plugin PR: scala-ide/scala-ide-play2#225