summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Johannes Huber2013-06-051-52/+0
* Stable for x86, wrt bug #462890Agostino Sarubbo2013-03-311-2/+2
* Stable for amd64, wrt bug #462890Agostino Sarubbo2013-03-311-2/+2
* Version bump wrt bug #455218.Michael Palimaka2013-03-041-0/+52
* Remove oldAndreas Hüttel2011-09-241-45/+0
* Version bump to latest.Tomas Chvatal2011-09-051-0/+45