projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0595a89)
media-plugins/vdr-pin: remove unused file
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Thu, 5 Jan 2017 18:41:20 +0000 (19:41 +0100)
committerDavid Seifert <soap@gentoo.org>
Sun, 15 Jan 2017 10:24:23 +0000 (11:24 +0100)
Closes: https://github.com/gentoo/gentoo/pull/3338

media-plugins/vdr-pin/files/vdr-pin.sh [deleted file] patch | blob | history

diff --git a/media-plugins/vdr-pin/files/vdr-pin.sh b/media-plugins/vdr-pin/files/vdr-pin.sh
deleted file mode 100644 (file)
index 4ab92bd..0000000
--- 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..."
Unnamed repository; edit this file 'description' to name the repository.