Add flycheck-dedukti

This commit is contained in:
Raphaël Cauderlier 2014-09-29 17:00:56 +02:00
parent 1fa2b22211
commit e0e054e632

1
recipes/flycheck-dedukti Normal file
View file

@ -0,0 +1 @@
(flycheck-dedukti :fetcher github :repo "rafoo/flycheck-dedukti")