diff --git a/recipes/dedukti-mode b/recipes/dedukti-mode new file mode 100644 index 00000000..987bec0d --- /dev/null +++ b/recipes/dedukti-mode @@ -0,0 +1 @@ +(dedukti-mode :fetcher github :repo "rafoo/dedukti-mode")