diff options
author | Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-06-13 20:00:04 +0200 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2018-06-13 17:15:30 -0400 |
commit | ce56482121a5ef9aa2997488ee457c67e4570a20 (patch) | |
tree | f201f5a1b6c5c1579399cde9829d554d68471551 /media-libs | |
parent | sci-libs/ogdi: remove unused patch (diff) | |
download | gentoo-ce56482121a5ef9aa2997488ee457c67e4570a20.tar.gz gentoo-ce56482121a5ef9aa2997488ee457c67e4570a20.tar.bz2 gentoo-ce56482121a5ef9aa2997488ee457c67e4570a20.zip |
media-gfx/gliv: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/8834
Diffstat (limited to 'media-libs')
0 files changed, 0 insertions, 0 deletions