Set color for Idris language (#3866)

This commit is contained in:
Robert Koeninger
2017-10-31 12:27:21 -04:00
committed by Colin Seymour
parent b4492e7205
commit 297be948d1

View File

@@ -1930,6 +1930,7 @@ IRC log:
language_id: 164
Idris:
type: programming
color: "#b30000"
extensions:
- ".idr"
- ".lidr"