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