From 9d569c8bd52395d34246b329270aaf0bd83ccacd Mon Sep 17 00:00:00 2001
From: Ricky Elrod <ricky@elrod.me>
Date: Tue, 22 Apr 2014 02:54:27 -0400
Subject: [PATCH] Idris is upstream in Pygments now:
 https://bitbucket.org/birkenfeld/pygments-main/pull-request/210

---
 lib/linguist/languages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index d77f5622..91ca647c 100644
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -878,7 +878,7 @@ Inno Setup:
 
 Idris:
   type: programming
-  lexer: Text only
+  lexer: Idris
   primary_extension: .idr
   extensions:
   - .lidr