Skip to content

Commit

Permalink
Java API: .gitignore updated
Browse files Browse the repository at this point in the history 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
  • Loading branch information
Christoph M. Wintersteiger committed Nov 27, 2012
1 parent 3f548c7 commit 9b9b7a6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,6 @@ src/api/python/z3consts.py
src/api/python/z3core.py
src/ast/pattern/database.h
src/util/version.h
src/api/java/Z3Native.cpp
src/api/java/Z3Native.java
src/api/java/Native.cpp
src/api/java/Native.java
src/api/java/enumerations/*.java

0 comments on commit 9b9b7a6

Please sign in to comment.