mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
updated .gitignore
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
bffa941616
commit
badb81998d
4
.gitignore
vendored
4
.gitignore
vendored
|
@ -48,4 +48,6 @@ src/api/dotnet/Native.cs
|
|||
src/api/python/z3consts.py
|
||||
src/api/python/z3core.py
|
||||
src/ast/pattern/database.h
|
||||
src/util/version.h
|
||||
src/util/version.h
|
||||
src/api/java/Z3Native.c
|
||||
src/api/java/Z3Native.java
|
Loading…
Reference in a new issue