Add coq commenter package (#4116)

melpa · Aug 12, 2016 · 522d8ae · 522d8ae
1 parent 97bda06
commit 522d8ae
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/recipes/coq-commenter b/recipes/coq-commenter
@@ -0,0 +1,3 @@
+(coq-commenter
+ :repo "ailrun/coq-commenter"
+ :fetcher github)