chore: update tools

2022-12-22 13:23:30 +01:00 · 2022-12-22 13:23:30 +01:00 · 88fe75dabe
parent 71da9e48fc
commit 88fe75dabe
2 changed files with 4 additions and 3 deletions
--- a/docs/tools
+++ b/docs/tools
@ -1 +1 @@
-Subproject commit 94af39fae5d681a0eb0d695a94a4f1a19dc408ea
+Subproject commit 529c7ab5a1cd6ce3bc48a72832ccdcf904b51b4c
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -19,7 +19,8 @@ markdown_extensions:
  - pymdownx.superfences
  - attr_list
  - md_in_html
-  - pymdownx.tabbed:
+  - pymdownx.tabbed
+  - footnotes



@ -32,4 +33,4 @@ edit_uri: _edit/main/docs/


 extra_css:
-  - extra.css
+  - extra.css