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)
commit8f6f780ff6b71e79e32809d165fc3075bf5aa156
tree5eca7ca6e989bb7901afac56c319b4a06127d4ab
parent0595a895e4cb690e222f3979d56d2743a42c0d2a
media-plugins/vdr-pin: remove unused file

Closes: https://github.com/gentoo/gentoo/pull/3338
media-plugins/vdr-pin/files/vdr-pin.sh [deleted file]