summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs/company-coq: bump to 1.0.1_p20220314Maciej Barć2022-08-311-0/+46