diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2017-10-01 15:35:14 +0200 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2017-10-30 22:26:17 +0100 |
| commit | 8041b1831b5b858344b513ab4d0863f911a48c28 (patch) | |
| tree | 546333feb26163eb1a2658052c6c090efcbebaf5 /x11-drivers | |
| parent | media-libs/libmediaart: remove unused patch. (diff) | |
| download | gentoo-8041b1831b5b858344b513ab4d0863f911a48c28.tar.gz gentoo-8041b1831b5b858344b513ab4d0863f911a48c28.tar.bz2 gentoo-8041b1831b5b858344b513ab4d0863f911a48c28.zip | |
media-video/subtitleeditor: remove unused patch.
Closes: https://github.com/gentoo/gentoo/pull/5828
Diffstat (limited to 'x11-drivers')
0 files changed, 0 insertions, 0 deletions