From 82429ed93db5b1fbf912d5525e392e672243bc74 Mon Sep 17 00:00:00 2001
From: Robert Koeninger <rkoeninger@att.net>
Date: Tue, 17 Oct 2017 21:50:23 -0400
Subject: [PATCH] Set color for Idris language

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

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index 0634dcd2cc..ec5da6ae47 100755
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1921,6 +1921,7 @@ IRC log:
   language_id: 164
 Idris:
   type: programming
+  color: "#b30000"
   extensions:
   - ".idr"
   - ".lidr"