mirror of
https://github.com/correl/melpa.git
synced 2024-12-02 19:19:51 +00:00
5 lines
93 B
Text
5 lines
93 B
Text
|
(company-coq
|
||
|
:repo "cpitclaudel/company-coq"
|
||
|
:fetcher github
|
||
|
:files (:defaults "refman"))
|