summaryrefslogtreecommitdiff
path: root/math/stp/files/patch-STPConfig.cmake.in (unfollow)
Commit message (Expand)AuthorFilesLines
2020-03-27math/stp and math/cryptominisat: Use correct patch (at STP side) for specifyi...Gleb Popov1-0/+12