Merge pull request #2276 from MakeNowJust/patch-1

Fix ada aliases
This commit is contained in:
Arfon Smith
2015-03-27 09:24:31 -07:00

View File

@@ -118,7 +118,8 @@ Ada:
- .ada
- .ads
aliases:
- ada95ada2005
- ada95
- ada2005
ace_mode: ada
Agda: