From 99f0412110ac665d1c525fbb7df5831adecbb7bb Mon Sep 17 00:00:00 2001 From: github-actions Date: Mon, 12 Jul 2021 22:25:17 +0000 Subject: [PATCH] Deployed ad5796ed to dev with MkDocs 1.2.1 and mike 1.0.1 --- dev/change-log/index.html | 19 +++++++++++++++++++ dev/search/search_index.json | 2 +- dev/sitemap.xml.gz | Bin 899 -> 899 bytes 3 files changed, 20 insertions(+), 1 deletion(-) diff --git a/dev/change-log/index.html b/dev/change-log/index.html index 1a082728..4eab9d15 100644 --- a/dev/change-log/index.html +++ b/dev/change-log/index.html @@ -1716,6 +1716,13 @@