- README: fix typo in sed-command for minisat-include fix.
authorSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)
committerSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)
commit9327d434d522f888609e5f4a42a6e06f01864e79
tree4d62bbd0011f984c86bb33289ba1904c8baf6439
parentf6579282d73aec055e2fc4ebebd1b6313da248fd
 - README: fix typo in sed-command for minisat-include fix.
README