From fa3cd665406a5f9356872082bc9683d3dd10aba5 Mon Sep 17 00:00:00 2001 From: github-actions Date: Wed, 7 Apr 2021 16:07:37 +0000 Subject: [PATCH] Deployed 286d317 to dev with MkDocs 1.1.2 and mike 0.5.5 --- dev/change-log/index.html | 24 +++++ dev/search/search_index.json | 2 +- dev/setup/configuration/index.html | 6 +- dev/sitemap.xml | 138 ++++++++++++++--------------- dev/sitemap.xml.gz | Bin 829 -> 829 bytes 5 files changed, 97 insertions(+), 73 deletions(-) diff --git a/dev/change-log/index.html b/dev/change-log/index.html index 53db8e0c..e7a89eb8 100644 --- a/dev/change-log/index.html +++ b/dev/change-log/index.html @@ -1678,6 +1678,13 @@