mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
ignore my shortcut
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
91012600ae
commit
2953d3ed30
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,4 +1,5 @@
|
|||
*~
|
||||
rebase.cmd
|
||||
*.pyc
|
||||
*.pyo
|
||||
# Ignore callgrind files
|
||||
|
|
Loading…
Reference in a new issue