KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-01-26 11:15:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Idris is upstream in Pygments now: https://bitbucket.org/birkenfeld/pygments-main/pull-request/210

Browse Source
This commit is contained in:
Ricky Elrod
2014-04-22 02:54:27 -04:00
parent 58d65c2d27
commit 9d569c8bd5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/linguist/languages.yml
View File

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