scala-ide/scala-ide — pull request #68 by dragos (2012-02-09 13:35:55+00:00)
Title: Use File.pathSeparator when building the pluginsDir setting, to be platf...

...orm independent. Fixes #1000901.