summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Install docs in proper dir (bug #374367 by Chris Mayo) and don't drop so many...Pacho Ramos2011-07-093-10/+14
* Version bump to latest. Drop olderTomas Chvatal2011-05-053-8/+14
* Initial commit to fix bug #284159.Tomas Chvatal2011-04-304-0/+69