scala/jenkins-scripts — pull request #124 by gkossakowski (2014-08-06 17:48:23+00:00)
Title: Use Scala 2.10 specific config file for building IDE

We need separate config file because IDE master dropped support for
Scala 2.10. See scala-ide/uber-build#57.