summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* app-emacs: H -> COMMITMaciej Barć2023-01-301-4/+4
* app-emacs/company-coq: add company-coq-mode hook to coq-modeMaciej Barć2022-03-071-0/+46