summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs: drop xgqt (myself) from maintainersMaciej Barć2022-03-081-4/+0
* app-emacs/company-coq: update metadata - add longdescriptionMaciej Barć2022-03-061-0/+8
* app-emacs/company-coq: new package; add 1.0.1_p20210708Maciej Barć2022-03-061-0/+17