summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/metamath-mode: new package; add 0_p20221005Maciej Barć2022-10-154-0/+40