diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-09-18 11:27:35 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-09-18 11:37:59 +0200 |
| commit | d9d93c65d99561452d78d32ca68e672888049a37 (patch) | |
| tree | 115d0f2d6b29cb62b8eec12042d274e5c3d60481 /dev-util | |
| parent | dev-libs/libgit2: Remove old (diff) | |
| download | gentoo-d9d93c65d99561452d78d32ca68e672888049a37.tar.gz gentoo-d9d93c65d99561452d78d32ca68e672888049a37.tar.bz2 gentoo-d9d93c65d99561452d78d32ca68e672888049a37.zip | |
dev-python/hypothesis: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-util')
0 files changed, 0 insertions, 0 deletions