summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/lean-mode: remove unnecessary lean rdepMaciej Barć2025-01-021-38/+0
* app-emacs/lean-mode: bump to 0_p20230611Maciej Barć2023-06-211-0/+38