scala/scala — pull request #223 by hubertp (2012-02-22 16:56:18+00:00)
Title: Deprecate Refined Build Manager.

It contains bugs that we are no longer planning to work on, sbt is a recommended approach (see integration with scala-ide)