Be explicit about tm_scope

This commit is contained in:
Arfon Smith
2014-11-30 15:24:33 -06:00
parent 212c74d8a3
commit 648596dbb2

View File

@@ -531,6 +531,7 @@ Cool:
type: programming
extensions:
- .cl
tm_scope: none
Coq:
type: programming