Merge pull request #1163 from rafoo/master

Add dedukti-mode
This commit is contained in:
Steve Purcell 2013-11-12 02:30:04 -08:00
commit 767a685fbe

1
recipes/dedukti-mode Normal file
View file

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