Merge branch 'main' into main-github

jannismain · Oct 12, 2023 · 65ed237 · 65ed237
2 parents d5a8bd6 + eebfc7e
commit 65ed237
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/template/{% if docs_template == 'sphinx-fhg-iis' %}docs{% endif %} b/template/{% if docs_template == 'sphinx-fhg-iis' %}docs{% endif %}