Arian Ahmadinejad fdd15213c2 chore: Change time format (#7274) ... * fix: typos * fix: remove newlines from latex delimiters * add changeset * chore: change time format to HH:MM:SS * add changeset * Revert "fix: remove newlines from latex delimiters" This reverts commit cebfabb51c. * fix: remove accidental changes from different pr * add changeset * chore: change time format for player to use global formatting function * fix: remove pipfile * chore: use global time formatting for static video player * chore: change to snake_case * change --------- Co-authored-by: gradio-pr-bot <gradio-pr-bot@users.noreply.github.com> Co-authored-by: Abubakar Abid <abubakar@huggingface.co>		2024-02-01 13:23:19 -08:00
..
AudioPlayer.svelte	chore: Change time format (#7274)	2024-02-01 13:23:19 -08:00