Set color for Idris language (#3866)

github-linguist · Oct 31, 2017 · 297be94 · 297be94
1 parent b4492e7
commit 297be94
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"