summaryrefslogtreecommitdiff
path: root/README.solver
AgeCommit message (Collapse)Author
2013-01-04remove executable bitLuboš Luňák
Change-Id: I41a0633cc6ebe2db8ad662132d727fb2ec3282ab
2012-11-28Make it possible to tab-complete "solv" to "solver"...Tor Lillqvist
Change-Id: I55895a1b55696ed20e3fcdcafa919879bf304398