Ignore smt files in linguist

sankalpgambhir · sankalpgambhir · commit 96c415f25253 · 2025-09-18T16:34:16.000+02:00
diff --git a/.gitattributes b/.gitattributes
@@ -1 +1 @@
-src/it/resources/regression/* linguist-vendored
+*.smt2 linguist-vendored

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-src/it/resources/regression/* linguist-vendored`
	`1`	`+*.smt2 linguist-vendored`