search

scala-ide / scala-worksheet

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

Fixed source compatibility for latest master #157

Closed dotta closed 10 years ago

dotta commented 11 years ago

Small fix due to Scala IDE PR #516 (https://github.com/scala-ide/scala-ide/pull/516)

dotta commented 11 years ago

Let's not merge this before I cut an IDE release for 2.11.0-M5.

ghprb-bot commented 11 years ago

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

dragos commented 11 years ago

lgtm