Merge pull request #1306 from github/1100-local

1100 local
This commit is contained in:
Arfon Smith
2014-06-23 10:33:01 +01:00

View File

@@ -960,7 +960,7 @@ Inno Setup:
Idris:
type: programming
lexer: Text only
lexer: Idris
extensions:
- .idr
- .lidr