scala-ide/scala-search — pull request #69 by dotta (2013-08-02 13:34:15+00:00)
Title: Updated plugin-profiles version to 1.0.1

Also, updated the build script to compile the project against Scala IDE master.