mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-20 07:36:38 +00:00
Code Activity

Add .env to gitignore to prevent environment files from being tracked

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-08-29 15:28:54 -07:00
parent e31881ba30
commit 323003aed9
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -6,6 +6,7 @@ rebase.cmd
callgrind.out.*
# .hpp files are automatically generated
*.hpp
.env
.z3-trace
# OCaml generated files
*.a