diff options
author | Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-01-05 19:41:20 +0100 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2017-01-15 11:24:23 +0100 |
commit | 8f6f780ff6b71e79e32809d165fc3075bf5aa156 (patch) | |
tree | 5eca7ca6e989bb7901afac56c319b4a06127d4ab /media-plugins/vdr-pin | |
parent | media-plugins/vdr-mplayer: remove unused patch (diff) | |
download | gentoo-8f6f780ff6b71e79e32809d165fc3075bf5aa156.tar.gz gentoo-8f6f780ff6b71e79e32809d165fc3075bf5aa156.tar.bz2 gentoo-8f6f780ff6b71e79e32809d165fc3075bf5aa156.zip |
media-plugins/vdr-pin: remove unused file
Closes: https://github.com/gentoo/gentoo/pull/3338
Diffstat (limited to 'media-plugins/vdr-pin')
-rw-r--r-- | media-plugins/vdr-pin/files/vdr-pin.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/media-plugins/vdr-pin/files/vdr-pin.sh b/media-plugins/vdr-pin/files/vdr-pin.sh deleted file mode 100644 index 4ab92bd2f146..000000000000 --- a/media-plugins/vdr-pin/files/vdr-pin.sh +++ /dev/null @@ -1,5 +0,0 @@ -# $Id$ -# -# protect the record... -touch $1/protection.fsk -echo "Die Aufzeichnung $1 wurde geschützt..." |