diff --git a/.gitattributes b/.gitattributes index 4ef2f60a8..2d810f0be 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1 +1 @@ -bootstrap/* linguist-vendored +bootstrap/idris2_app/* linguist-generated