Skip to content

Commit 28c9192

Browse files
author
Joel Allred
committed
gitignore
1 parent da61fb6 commit 28c9192

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎regression/smt2_strings/.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
!*.smt2

0 commit comments

Comments
 (0)