summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Version bump to latest wrt bugs #401945 and #403351. Drop older.Tomas Chvatal2012-04-071-33/+0
* new versionAnders Rune Jensen2005-09-221-0/+33