Closed dragos closed 10 years ago
This is in preparation for the switch to PSOb and needs to be synchronized with upstream projects.
Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/27/
Please do NOT merge
This is in preparation for the switch to PSOb and needs to be synchronized with upstream projects.