summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterapp-emacs/lean-mode: remove unnecessary lean rdepMaciej Barć28 min.