Colour switch

This commit is contained in:
Arfon Smith
2015-12-08 07:39:43 -05:00
parent ac81fc5da9
commit 16ea189aa6

View File

@@ -142,7 +142,7 @@ Agda:
Alloy:
type: programming # 'modeling' would be more appropiate
color: "#cc5c24"
color: "#64C800"
extensions:
- .als
ace_mode: text