scala-ide/scala-ide — pull request #727 by skyluc (2014-06-30 09:18:21+00:00)
Title: Adds support for Scala 2.12

This code is run nightly in https://jenkins.scala-ide.org:8496/jenkins/job/master-2.12.0-SNAPSHOT/