From 297be948d1b79a2f7bca5723a5d2830f9552cdae Mon Sep 17 00:00:00 2001
From: Robert Koeninger <rkoeninger@att.net>
Date: Tue, 31 Oct 2017 12:27:21 -0400
Subject: [PATCH] Set color for Idris language (#3866)

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

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index 3d9d074a..9c3fe539 100755
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1930,6 +1930,7 @@ IRC log:
   language_id: 164
 Idris:
   type: programming
+  color: "#b30000"
   extensions:
   - ".idr"
   - ".lidr"