Joscha d116950a93 Avoid metrics being entirely empty		2023-10-24 14:46:12 +02:00
..
pages	Avoid metrics being entirely empty	2023-10-24 14:46:12 +02:00
base.html	Reenable css	2023-08-17 22:33:27 +02:00
util.html	Overhaul index page	2023-08-17 22:36:31 +02:00