summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove unused dependency wrt bug #478504.Michael Palimaka2014-03-171-6/+3
* Version bump, bug #493854.Johannes Huber2014-03-121-0/+50