Merge pull request #2048 from rafoo/master

mirror of https://github.com/correl/melpa.git synced 2025-04-03 01:09:00 -09:00
Add flycheck-dedukti
2025-04-03 01:09:00 -09:00 · 2014-10-01 21:22:18 +01:00 · 2014-10-01 21:22:18 +01:00 · 732832e88a
commit 732832e88a
parent ecc9f618b9 e0e054e632
1 changed files with 1 additions and 0 deletions
--- a/recipes/flycheck-dedukti
+++ b/recipes/flycheck-dedukti
@ -0,0 +1 @@
+(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")
				`@ -0,0 +1 @@`
				`(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")`