Bernhard Reiter 5ca768b5e2 Improve checker's html datetime output ... * Change the displayed string in the HTML output for the date and time of the run to be human readable and in the local timezone. The `datetime` attribute of the `time` tag still has the RFC 3339 UTC version for machine processing.		2022-06-10 09:49:00 +02:00
..
report.html	Improve checker's html datetime output	2022-06-10 09:49:00 +02:00