scala-ide/scala-worksheet — pull request #119 by skyluc (2013-01-10 14:33:04+00:00)
Title: Updated code accordingly to rename in Scala IDE

Fixes #118