scala-ide/scala-ide — pull request #207 by skyluc (2012-10-09 15:34:24+00:00)
Title: Added a profile to set the scala versions

The profile runs a tool which git the versions from the properties files
unzipped during the toolchain build.
Set a value to SET_VERSION to trigger the extra step.

This is needed for the updated ecosystem build.