Remove dupe extension

This commit is contained in:
Ted Nyman
2013-11-05 11:42:09 -08:00
parent a500dee94e
commit 9f65e702fc

View File

@@ -71,8 +71,6 @@ Ada:
Agda:
type: programming
primary_extension: .agda
extensions:
- .agda
ApacheConf:
type: markup