diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-11 18:28:53 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2022-01-11 18:28:53 +0100 |
| commit | 3adf857085c15b8b7c5ac9af9b2820637b483eea (patch) | |
| tree | 70747d64296e5194bd05121ce656326b6ec9358c /community/z3 | |
| parent | 8ed2604ae7adc075c3c73058c472e0c1b86b6842 (diff) | |
| download | packages-3adf857085c15b8b7c5ac9af9b2820637b483eea.tar.xz | |
extra/python-setuptools: reenabled testing
Diffstat (limited to 'community/z3')
0 files changed, 0 insertions, 0 deletions