summaryrefslogtreecommitdiff
path: root/README.solver
AgeCommit message (Expand)AuthorFilesLines
2013-10-18solver is dead and goneBjoern Michaelsen1-9/+0
2013-01-04remove executable bitLuboš Luňák1-0/+0
2012-11-28Make it possible to tab-complete "solv" to "solver"...Tor Lillqvist1-0/+9