summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/picosat: fix patch applyMaciej Barć7 min.