scala-ide/scala-ide — pull request #687 by retronym (2014-05-06 12:47:07+00:00)
Title: Add a profile for Scala 2.12.

It's a copy/paste of the 2.11 profile. Any better ideas?