mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 05:18:44 +00:00
Code Activity

remove local dev files from gitignore

Browse source
This commit is contained in:
Murphy Berzish 2017-02-20 13:27:36 -05:00
parent fe1a976c21
commit a081d81941
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.gitignore vendored
View file

@ -87,10 +87,3 @@ src/*/*/*/CMakeLists.txt
src/api/dotnet/cmake_install_gac.cmake.in
src/api/dotnet/cmake_uninstall_gac.cmake.in
# reference code for z3str2
Z3-str
Z3-str/**
# test cases
tests
tests/**