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