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