Thor77 0dc12e73a1 Replace deprecated page-header heading-class ... with `display-4`		2019-03-10 13:06:28 +01:00
..
index.jinja2	Replace deprecated page-header heading-class	2019-03-10 13:06:28 +01:00
stats.jinja2	Use new badge-syntax	2019-03-10 13:06:28 +01:00