Add minisat 00_PATCH_typofixes.patch
authorClifford Wolf <clifford@clifford.at>
Mon, 27 Mar 2017 12:36:24 +0000 (14:36 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 27 Mar 2017 12:37:00 +0000 (14:37 +0200)
commit58ee8e3b8a8157164f89045ef62b7fcefc963144
tree7c2a96c28fc12b3a3c97afa324091720afba34a4
parent71cbe98a091ab05ef7bc678d8874db5ac9fb87ec
Add minisat 00_PATCH_typofixes.patch
libs/minisat/00_PATCH_typofixes.patch [new file with mode: 0644]
libs/minisat/00_UPDATE.sh