Tag prover_snapshots with linguist-generated gitattribute

Signed-off-by: Jordan Carlin <jordanmcarlin@gmail.com>
jordancarlin · Mar 6, 2025 · 5e510f0 · 5e510f0
1 parent 91b55d3
commit 5e510f0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1 @@
+prover_snapshots/** linguist-generated