NewPipe/app
John Zhen Mo ece93cadd5 -Added better player exception handling to player.
-Added expired media source cleaning to media source manager.
2018-04-11 20:27:38 -07:00
..
src -Added better player exception handling to player. 2018-04-11 20:27:38 -07:00
.gitignore New version number 0.6.0 and some fixes: 2015-11-10 20:51:39 +01:00
build.gradle Fix Info's start time when using VideoDetailFragment 2018-04-06 04:35:44 -03:00
proguard-rules.pro Use OkHttp 2018-02-20 16:24:43 +01:00