4 Commits

Include renames

Author	SHA1	Message	Date
emeric	49b37d34e0	[UI] Mobile audio player inside a footer: first draft	2015-04-06 17:47:47 +02:00
emeric	43211d8aee	Switched default encoding to MP3, seems to be better supported	2015-04-06 17:46:01 +02:00
emeric	0378c242b6	[UI] User can now force the audio encoding to be used	2015-03-22 20:45:39 +01:00
emeric	d2603da6de	[UI] First working mobile version	2015-03-04 13:16:44 +01:00