Jannik 353ae6937a Player: get media info by id ...

This allows us to get additional data (needed for "play next episode")

2020-11-13 11:23:09 +01:00

..

src

Player: get media info by id

2020-11-13 11:23:09 +01:00

.gitignore

add aod parser

2020-10-08 22:20:20 +02:00

build.gradle

disable time-bar animation

2020-11-06 10:21:57 +01:00

proguard-rules.pro

enable code shrink

2020-10-20 20:22:50 +02:00