diff options
Diffstat (limited to 'media-plugins/vdr-externalplayer/files/vdr-externalplayer-0.1.0-gentoo.diff')
-rw-r--r-- | media-plugins/vdr-externalplayer/files/vdr-externalplayer-0.1.0-gentoo.diff | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/media-plugins/vdr-externalplayer/files/vdr-externalplayer-0.1.0-gentoo.diff b/media-plugins/vdr-externalplayer/files/vdr-externalplayer-0.1.0-gentoo.diff deleted file mode 100644 index 0722e54..0000000 --- a/media-plugins/vdr-externalplayer/files/vdr-externalplayer-0.1.0-gentoo.diff +++ /dev/null @@ -1,12 +0,0 @@ -diff -Naur externalplayer-0.1.0.orig/externalplayer.c externalplayer-0.1.0/externalplayer.c ---- externalplayer-0.1.0.orig/externalplayer.c 2007-01-08 16:37:11.658981135 +0100 -+++ externalplayer-0.1.0/externalplayer.c 2007-01-08 16:49:00.931400266 +0100 -@@ -66,7 +66,7 @@ - RegisterI18n(ExternalplayerPhrases); - - if (configFilename == "") { -- configFilename += ConfigDirectory(); -+ configFilename += ConfigDirectory( "externalplayer" ); - configFilename += "/externalplayer.conf"; - } - |