Filetype is tla

This commit is contained in:
Andrew Helwer 2021-08-18 12:49:51 -04:00 committed by Stephan Seitz
parent da2336ea80
commit a19912e105

View file

@ -397,7 +397,7 @@ list.tlaplus = {
files = { "src/parser.c", "src/scanner.cc" } files = { "src/parser.c", "src/scanner.cc" }
}, },
maintainers = { "@ahelwer" }, maintainers = { "@ahelwer" },
filetype = "tlaplus" filetype = "tla"
} }
list.toml = { list.toml = {