summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Drop oldPacho Ramos2014-04-231-56/+0
* Version bump to latest. Drop overshadowed.Tomas Chvatal2013-05-151-0/+56