diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-03-03 17:06:16 +0100 |
|---|---|---|
| committer |   Mart Raudsepp <leio@gentoo.org> | 2019-03-03 20:59:09 +0200 |
| commit | fe8600ef58ed3251c1c39d81dc627d1f8bc752f4 (patch) | |
| tree | 8416cfa3bee25499d3473386bdebae46d076e365 /dev-php/cli-prompt | |
| parent | gnome-base/gnome-settings-daemon: fix non-wayland builds (diff) | |
| download | gentoo-fe8600ef58ed3251c1c39d81dc627d1f8bc752f4.tar.gz gentoo-fe8600ef58ed3251c1c39d81dc627d1f8bc752f4.tar.bz2 gentoo-fe8600ef58ed3251c1c39d81dc627d1f8bc752f4.zip | |
media-libs/gst-plugins-good: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/11240
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Signed-off-by: Mart Raudsepp <leio@gentoo.org>
Diffstat (limited to 'dev-php/cli-prompt')
0 files changed, 0 insertions, 0 deletions