media-plugins/vdr-pilot: remove unused patch
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Tue, 5 Dec 2017 18:08:47 +0000 (19:08 +0100)
committerMichael Palimaka <kensington@gentoo.org>
Wed, 6 Dec 2017 12:02:40 +0000 (23:02 +1100)
Closes: https://github.com/gentoo/gentoo/pull/6461

media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff [deleted file]

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 (file)
index 9a6123d..0000000
+++ /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"