diff --git a/.gitattributes b/.gitattributes index 4e11a03..0bdd89f 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1 +1 @@ -*.newt linguist-language=agda +*.newt linguist-language=newt gitlab-language=newt