Colors for agda and tex

This commit is contained in:
Ted Nyman
2013-12-04 02:08:58 -08:00
parent 283cc3a975
commit de636f1c0b

View File

@@ -70,6 +70,7 @@ Ada:
Agda: Agda:
type: programming type: programming
color: "#467C91"
primary_extension: .agda primary_extension: .agda
ApacheConf: ApacheConf:
@@ -1477,6 +1478,7 @@ Tcsh:
TeX: TeX:
type: markup type: markup
color: "#3D6117"
ace_mode: latex ace_mode: latex
aliases: aliases:
- latex - latex