Update .gitattributes

sjtug · Jul 29, 2022 · 864c155 · 864c155
1 parent 7868733
commit 864c155
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -13,3 +13,5 @@
 /.github export-ignore
 .gitattributes export-ignore
 .gitignore export-ignore
+build_v*.sh export-ignore
+dev-v2.tex export-ignore