player: Update media type when it is unknown
[vlc.git] / src / android / 
treeccd5e4acfd7067aee2d86b8d3492fdcced5c8aff
drwxr-xr-x   ..
-rw-r--r-- 1385 error.c
-rw-r--r-- 12371 specific.c
-rw-r--r-- 9683 thread.c