mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Add globbing patterns to `.gitignore` so the files copied

Browse source 
over by the ``contrib/cmake/bootstrap.py`` script are ignored
and so don't get accidently commited.
This commit is contained in:
Dan Liew 2016-03-03 18:38:21 +00:00
parent b76ce607b8
commit a5f8ceaa48
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.gitignore vendored
View file

@ -75,3 +75,12 @@ src/api/ml/z3.mllib
*.bak *.bak
doc/api doc/api
doc/code doc/code
# CMake files copied over by the ``contrib/cmake/boostrap.py`` script
# See #461
examples/CMakeLists.txt
examples/*/CMakeLists.txt
src/CMakeLists.txt
src/*/CMakeLists.txt
src/*/*/CMakeLists.txt
src/*/*/*/CMakeLists.txt