diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-04-11 04:36:03 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-04-11 04:36:03 +0000 |
| commit | 56b0357aa050819d3f191713558544abb0fffabe (patch) | |
| tree | 6077c5ad27cc9b987084c4e0278d7870a6abb85f /.gitignore | |
| parent | bc13e7954cc32f024118e754f4e19c618b98c65f (diff) | |
automatic import of python-z3-solver
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +/z3-solver-4.12.1.0.tar.gz |