diff options
| author | Michał Górny <mgorny@gentoo.org> | 2017-11-25 01:00:42 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2017-11-25 01:00:42 +0100 |
| commit | 6283a3ab918f78f209f1457b82efd5156b054ea5 (patch) | |
| tree | 9e43942f7dfda3723b5cde6500367c2fddc6a329 /tox.ini | |
| parent | 5f7660e6c3639aa77c9414082589976a3d2a6716 (diff) | |
| download | gemato-6283a3ab918f78f209f1457b82efd5156b054ea5.tar.gz | |
Revert "gen_fast_metamanifest: Use context manager for Pool"
This API does not seem to be present in Python 2. Given its little value
in this script, let's just revert it.
Diffstat (limited to 'tox.ini')
0 files changed, 0 insertions, 0 deletions