diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 36c04f14..5a1c0a2d 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -531,6 +531,7 @@ Cool: type: programming extensions: - .cl + tm_scope: none Coq: type: programming