jedi dd75c2b0d6 move frontend to /web		2023-11-18 12:51:24 +01:00
..
favicon.ico	move frontend to /web	2023-11-18 12:51:24 +01:00
index.html	move frontend to /web	2023-11-18 12:51:24 +01:00