diff options
author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2020-01-01 22:16:20 +0100 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2020-01-01 18:07:29 -0500 |
commit | b4deeb4c3d6a2971730b177bd0276a4bec095aeb (patch) | |
tree | de9d127bf20c649362c5d0056757b5d892905be9 /dev-db | |
parent | dev-db/redis: arm64 stable (bug #698436) (diff) | |
download | gentoo-b4deeb4c3d6a2971730b177bd0276a4bec095aeb.tar.gz gentoo-b4deeb4c3d6a2971730b177bd0276a4bec095aeb.tar.bz2 gentoo-b4deeb4c3d6a2971730b177bd0276a4bec095aeb.zip |
dev-libs/leveldb: remove unused patches
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/14208
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'dev-db')
0 files changed, 0 insertions, 0 deletions