summaryrefslogtreecommitdiff
path: root/app-emacs/lean-mode/lean-mode-20220501.ebuild
AgeCommit message (Expand)Author
2022-06-29gentoo resync : 29.12.2022V3n3RiX
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-18 14:15:03 +0000