summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Michael Palimaka2013-04-081-35/+0
* Fix homepage.Tomas Chvatal2012-08-271-2/+2
* Version bump, fixes bug #428202.Johannes Huber2012-08-251-0/+35