summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCoprDistGit <infra@openeuler.org>2023-03-09 18:18:22 +0000
committerCoprDistGit <infra@openeuler.org>2023-03-09 18:18:22 +0000
commit1a30a64ba97cb7813c127aad35d5b14900d723f7 (patch)
tree95c99b8c8b77e6b57f5aefd60d255026770c5870 /.gitignore
parentf1297fec58befb22bff7d83ba7e0a7812c8bd3e0 (diff)
automatic import of python-z3
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e69de29..b8fa637 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/z3-0.2.0.tar.gz