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