From 60e7c81311aa866b79f28b2e4eb91c18cdabc8ba Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Tue, 5 Dec 2017 19:08:47 +0100 Subject: [PATCH] media-plugins/vdr-pilot: remove unused patch Closes: https://github.com/gentoo/gentoo/pull/6461 --- .../vdr-pilot/files/vdr-pilot-0.0.8-includes.diff | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff 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 9a6123d9db9d..000000000000 --- 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 -+#include - #include - #include - #include "pilotbmp.h" -- 2.26.2