commit: 8f6f780ff6b71e79e32809d165fc3075bf5aa156 Author: Michael Mair-Keimberger (asterix) <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Thu Jan 5 18:41:20 2017 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Sun Jan 15 10:24:23 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8f6f780f
media-plugins/vdr-pin: remove unused file Closes: https://github.com/gentoo/gentoo/pull/3338 media-plugins/vdr-pin/files/vdr-pin.sh | 5 ----- 1 file changed, 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 4ab92bd..00000000 --- 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..."
