summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdev-ml/zarith: remove support for mpir USE flagEli Schwartz16 min.