Yannik Rödel 8d8f346de3 Fix mjs file extension ... It seems MIME type handling doesn't work with our server.		2023-10-26 19:02:24 +02:00
..
fonts	Add initial support for multiple sites	2022-03-22 16:14:21 +01:00
vendor	Fix mjs file extension	2023-10-26 19:02:24 +02:00
main.js	Scroll the title element in the tab widget into view after switching	2022-06-12 19:22:03 +02:00