Closed dragos closed 10 years ago
Fixup for scala-ide/scala-ide#636
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/34/
Fixup for scala-ide/scala-ide#636