Add dedukti-mode

This commit is contained in:
Raphaël Cauderlier 2013-11-12 11:06:07 +01:00
parent 1fe8711711
commit 7b48312c6c

1
recipes/dedukti-mode Normal file
View file

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