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