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