search

scala-ide / scala-worksheet

A Scala IDE plugin for a multi-line REPL (called worksheet)
96 stars 24 forks source link

Changes for 0.2.3 on Scala IDE 3.0.x #182

Closed skyluc closed 10 years ago

skyluc commented 10 years ago

Reverts some changes in the 0.2.3 tag to allow to build on the upcoming Scala IDE 3.0.3.

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/39/

ghprb-bot commented 10 years ago

Test FAILed. Refer to this link for build results: https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/40/

skyluc commented 10 years ago

Cleaned up commits using git revert.

dragos commented 10 years ago

LGTM