search

scala-ide / scala-worksheet

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

Adapt to new Utils API #202

Closed huitseeker closed 9 years ago

huitseeker commented 9 years ago

Depends on https://github.com/scala-ide/scala-ide/pull/815

rebased on #201, please merge that first

ghprb-bot commented 9 years ago

Test PASSed.

See Console Output in the link below for an update site containing this PR binary artefacts.

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

dragos commented 9 years ago

Thanks for rebasing it! Saved me some fun time!