scala-ide/scala-ide.github.com — pull request #33 by dragos (2013-05-28 13:22:45+00:00)
Title: Remove unused download boxes

A few cleanups:

* removed unused include files
* add links
* fixed copy-to-url for nightlies