From badb81998d89c512a4ba493ae78df2f3ed7281df Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 22 Nov 2012 10:11:39 -0800 Subject: [PATCH] updated .gitignore Signed-off-by: Leonardo de Moura --- .gitignore | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 8424ea64b..505601597 100644 --- a/.gitignore +++ b/.gitignore @@ -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 \ No newline at end of file +src/util/version.h +src/api/java/Z3Native.c +src/api/java/Z3Native.java \ No newline at end of file