gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-02 23:48:17 -07:00
Code Issues Projects Releases Wiki Activity

media-plugins/vdr-pilot: remove unused patch

Browse Source 
Closes: https://github.com/gentoo/gentoo/pull/6461
This commit is contained in:
Michael Mair-Keimberger
2017-12-05 19:08:47 +01:00
committed by Michael Palimaka
parent 183b1d9da5
commit 60e7c81311
1 changed files with 0 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
media-plugins/vdr-pilot/files/vdr-pilot-0.0.8-includes.diff
View File

@@ -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"