Add dedukti-mode
Merge pull request #1163 from rafoo/master

Add dedukti-mode