scala-ide/scala-ide.github.com — pull request #34 by dragos (2013-05-29 14:13:38+00:00)
Title: Reorganized our includes.

Removed a lot of obsolete include files, and inlined them
where it made sense. The most important change is making
download-box.txt a 'parameterized' include. See usage in
each download page.