summaryrefslogtreecommitdiff
path: root/app-emacs/company-coq/files
ModeNameSize
-rw-r--r--50company-coq-gentoo.el180logplain
-rw-r--r--company-coq-refman-path.patch490logplain