änderungen

This commit is contained in:
Bernd Reuther
2020-10-22 10:06:24 +02:00
parent 240f7f7727
commit c035f7c85a
-2
View File
@@ -13,8 +13,6 @@ theme:
logo: ../logo.png
favicon: ../icon.png
custom_dir: overrides
extra_javascript:
- js/diagram.js
markdown_extensions:
- abbr
- admonition