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

Update .gitignore

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-11-02 20:14:49 -07:00
parent c0f483528d
commit 6841ba3e57
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

@ -95,3 +95,4 @@ CMakeSettings.json
*.swp *.swp
.DS_Store .DS_Store
dbg/** dbg/**
*.wsp