aboutsummaryrefslogtreecommitdiffstats
path: root/libs/minisat/00_PATCH_no_fpu_control.patch
Commit message (Expand)AuthorAgeFilesLines
* Remove use of <fpu_control.h> in minisatClifford Wolf2017-03-271-0/+43