mirror of
https://github.com/Z3Prover/z3
synced 2025-04-20 23:56:37 +00:00
ignore tests dir
This commit is contained in:
parent
6791db64c0
commit
b494804c9c
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -77,4 +77,7 @@ doc/code
|
|||
# reference code for z3str2
|
||||
Z3-str
|
||||
Z3-str/**
|
||||
# test cases
|
||||
tests
|
||||
tests/**
|
||||
|
||||
|
|
Loading…
Reference in a new issue