summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterbuild: Remove dest/usr/share/doc/mpfr/Patrick McDermott18 months