aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/00_PATCH_wasm.patch
Commit message (Expand)AuthorAgeFilesLines
* Add WASI platform support.whitequark2020-04-301-0/+34