Merge pull request #156 from justjoheinz/feature/lidr

Add support for literate programming lidr files
idris-hackers · Apr 1, 2017 · e5b797c · e5b797c
2 parents 7a1da65 + 0a5fd51
commit e5b797c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/grammars/language-idris.cson b/grammars/language-idris.cson
@@ -1,6 +1,6 @@
 name: 'Idris'
 scopeName: 'source.idris'
-fileTypes: ['idr']
+fileTypes: ['idr', 'lidr']
 patterns:
   [
     {