From fa6c401125b70331035418c484c33dcb5520eff4 Mon Sep 17 00:00:00 2001 From: github-actions Date: Tue, 29 Jun 2021 15:56:39 +0000 Subject: [PATCH] Deployed b7eafc8d to dev with MkDocs 1.2.1 and mike 1.0.1 --- dev/change-log/index.html | 27 +++++++++++++++++++++++++++ dev/search/search_index.json | 2 +- dev/sitemap.xml.gz | Bin 899 -> 899 bytes 3 files changed, 28 insertions(+), 1 deletion(-) diff --git a/dev/change-log/index.html b/dev/change-log/index.html index b53e0dca..6074de47 100644 --- a/dev/change-log/index.html +++ b/dev/change-log/index.html @@ -1716,6 +1716,13 @@