aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/00_PATCH_wasm.patch
Commit message (Expand)AuthorAgeFilesLines
* minisat: add missing include guard for WASI.whitequark2020-06-211-0/+12
* Add WASI platform support.whitequark2020-04-301-0/+34