summaryrefslogtreecommitdiff
path: root/app-emacs/metamath-mode
AgeCommit message (Expand)Author
2022-10-15gentoo auto-resync : 15:10:2022 - 19:51:12V3n3RiX