commit: 60e7c81311aa866b79f28b2e4eb91c18cdabc8ba Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Tue Dec 5 18:08:47 2017 +0000 Commit: Michael Palimaka <kensington <AT> gentoo <DOT> org> CommitDate: Wed Dec 6 12:02:40 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=60e7c813
media-plugins/vdr-pilot: remove unused patch Closes: https://github.com/gentoo/gentoo/pull/6461 media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff b/media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff deleted file mode 100644 index 9a6123d9db9..00000000000 --- a/media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff +++ /dev/null @@ -1,11 +0,0 @@ -diff -ru pilot-0.0.8-orig/pilotosd.h pilot-0.0.8/pilotosd.h ---- pilot-0.0.8-orig/pilotosd.h 2005-10-17 13:01:27.000000000 +0200 -+++ pilot-0.0.8/pilotosd.h 2005-10-17 13:01:53.000000000 +0200 -@@ -2,6 +2,7 @@ - #define __PILOTOSD_H - - #include <vdr/osd.h> -+#include <vdr/device.h> - #include <vdr/menuitems.h> - #include <ctype.h> - #include "pilotbmp.h"
