Skip to content

Commit

Permalink
updated .gitignore
Browse files Browse the repository at this point in the history 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
  • Loading branch information
@leodemoura
leodemoura committed Nov 22, 2012
1 parent bffa941 commit badb819
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit badb819

Please sign in to comment.