Adopt to new Utils API - Githubissues

scala-ide / scala-search

Next Scala Search Engine

6 stars 10 forks source link

Adopt to new Utils API #102

Closed huitseeker closed 9 years ago

huitseeker commented 9 years ago

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

ghprb-bot commented 9 years ago

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