Cat 48bd428565 Embed: reminimize player		2020-08-11 19:26:41 +02:00
..
skins	Embed: tweak for non-touch: hide settings menu when gear icon is tapped (for mobile)	2020-08-11 19:26:41 +02:00
wrappers	Embed: reminimize player	2020-08-11 19:26:41 +02:00
player.js	Embed: reminimize player	2020-08-11 19:26:41 +02:00