Skip to content

Commit

Permalink
Exclude smt2 examples from linguist
Browse files Browse the repository at this point in the history
  • Loading branch information
@smover
smover authored Jul 19, 2023
1 parent 475a332 commit 216c92e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .gitattributes
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
barrier/test/vmt_models/* linguist-generated
barrier/test/invar_inputs/* linguist-generated
barrier/test/vmt_models/* linguist-vendored
barrier/test/invar_inputs/* linguist-vendored

0 comments on commit 216c92e

Please sign in to comment.