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