Matthias 7f434c0413 Simplify mkdocs jquery inclusion by using overrides ... instead of partials		2021-06-20 09:37:32 +02:00
..
main.html	Simplify mkdocs jquery inclusion by using overrides	2021-06-20 09:37:32 +02:00