scala-ide/scala-ide — pull request #472 by dotta (2013-07-24 02:33:03+00:00)
Title: Updated our build to use Zinc artifacts

Updated our build to use the Zinc artifacts built and published by dbuild. The
main advantage is that we no longer need to build and publish the Sbt artifacts
(which are exactly the same used by Zinc) that are used in the Scala IDE for
incremental compilation.

/cc @jsuereth