summaryrefslogtreecommitdiff
path: root/app-emacs/lean-mode
ModeNameSize
-rw-r--r--Manifest1224logplain
d---------files49logplain
-rw-r--r--lean-mode-0_p20230611.ebuild845logplain
-rw-r--r--metadata.xml642logplain