jedi 9f63414ba2 make indentation consistent		2023-11-27 01:14:52 +01:00
..
favicon.ico	move frontend to /web	2023-11-18 12:51:24 +01:00
index.html	make indentation consistent	2023-11-27 01:14:52 +01:00