From 88fe75dabef7ff206e62f444a52ab0f77dc00a9a Mon Sep 17 00:00:00 2001 From: Philipp Rothmann Date: Thu, 22 Dec 2022 13:23:30 +0100 Subject: [PATCH] chore: update tools --- docs/tools | 2 +- mkdocs.yml | 5 +++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/tools b/docs/tools index 94af39f..529c7ab 160000 --- a/docs/tools +++ b/docs/tools @@ -1 +1 @@ -Subproject commit 94af39fae5d681a0eb0d695a94a4f1a19dc408ea +Subproject commit 529c7ab5a1cd6ce3bc48a72832ccdcf904b51b4c diff --git a/mkdocs.yml b/mkdocs.yml index 48accc0..1808f63 100644 --- 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 \ No newline at end of file + - extra.css