Set git attributes to create better stats about the repo

bemanproject · Jun 24, 2024 · 3d2eb09 · 3d2eb09
1 parent 78895bb
commit 3d2eb09
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,3 @@
+*.bib -linguist-detectable
+*.tex -linguist-detectable
+papers/* linguist-documentation