K 10 svn:author V 3 lme K 8 svn:date V 27 2017-02-20T16:39:05.902089Z K 7 svn:log V 298 german/mediathek: - Rename the port to german/mediathekview to reflect upstream change (a long time ago) - Update to 13.0.1 - Use upstream's Java start parameters in mediathekview.in - Switch from .zip to .tar.gz distfile - Add an OPTION for multimedia/mpv as player / backend - Modernize OPTIONS END