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