From 332e365fca81c0c728e01ddae56f05ecde5db45c Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Fri, 11 Mar 2022 10:40:08 +0100 Subject: [PATCH] clear stats --- .gitattributes | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitattributes b/.gitattributes index 0334717..1b57d18 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1 +1,2 @@ *.html linguist-vendored +*.tex linguist-vendored