diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-06-08 09:51:34 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-06-08 09:51:34 +0200 |
| commit | 555afb78bc580111955c285ff5434d41f89bc20c (patch) | |
| tree | 7f08ab931e28c94910d7229747c3d7ca383388b8 /media-sound/patchage | |
| parent | dev-libs/libgit2: Drop old (diff) | |
| download | gentoo-555afb78bc580111955c285ff5434d41f89bc20c.tar.gz gentoo-555afb78bc580111955c285ff5434d41f89bc20c.tar.bz2 gentoo-555afb78bc580111955c285ff5434d41f89bc20c.zip | |
dev-python/pygit2: Drop old
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'media-sound/patchage')
0 files changed, 0 insertions, 0 deletions