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/jsonlint/jsonlint-1.7.1.ebuild | |
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/jsonlint/jsonlint-1.7.1.ebuild')
0 files changed, 0 insertions, 0 deletions