summaryrefslogtreecommitdiff
path: root/README.solver
AgeCommit message (Collapse)Author
2013-10-18solver is dead and goneBjoern Michaelsen
Change-Id: I66257ed063849fde997ff78b8b9a6fc2db939fde
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
generated by cgit (git 2.34.1) at 2024-08-04 21:21:44 +0000