search

scala-ide / scala-worksheet

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

Update eclipse prop #219

Closed kiritsuku closed 9 years ago

ghprb-bot commented 9 years ago

Refer to this link for build results (access rights to CI server needed):

https://jenkins.scala-ide.org:8496/jenkins/job/ghprb-worksheet-validator/96/ https://jenkins.scala-ide.org:8496/jenkins/job/worksheet-scala-ide-4.0.x-nightly/106/ Test FAILed.

kiritsuku commented 9 years ago

I have no idea what the problem is. I publish 4.1 release against worksheet version 0.2.7.