scala-ide/scala-search — pull request #94 by huitseeker (2014-07-25 13:21:21+00:00)
Title: Switches to new ScalaProject API

See https://github.com/scala-ide/scala-ide/pull/747