summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/lean: drop old 3.41.0Maciej Barć25 min.