github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2025-01-10 11:44:35 +00:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #2539 from cpitclaudel/company-coq

Browse source 
recipes: Add company-coq
This commit is contained in:
Steve Purcell 2015-02-27 20:20:24 +00:00
commit 7f89e3097c
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
recipes/company-coq Normal file
View file

@ -0,0 +1,4 @@
(company-coq
:repo "cpitclaudel/company-coq"
:fetcher github
:files (:defaults "refman"))