AudricV ce58a2df30 Filter streams using Java 8 Stream's API instead of removing streams with list iterators and add a better toast when there is no audio stream for external players ... This ensures to not remove streams from the StreamInfo lists themselves, and so to not have to create list copies. The toast shown in RouterActivity, when there is no audio stream available for external players, is now shown, in the same case, when pressing the background button in VideoDetailFragment.		2022-06-17 22:01:29 +02:00
..
assets	Update displayed licenses	2020-12-31 19:26:41 -05:00
java	Filter streams using Java 8 Stream's API instead of removing streams with list iterators and add a better toast when there is no audio stream for external players	2022-06-17 22:01:29 +02:00
res	Add support of other delivery methods than progressive HTTP (in the player only)	2022-06-17 22:00:22 +02:00
AndroidManifest.xml	Migrate CheckForNewAppVersion to Worker (and rename it)	2022-03-03 13:26:57 -05:00