From c031290b1c2626256e56dda399713f9861c77998 Mon Sep 17 00:00:00 2001 From: github-actions Date: Wed, 27 Jan 2021 22:15:04 +0000 Subject: [PATCH] Deployed 0b87aa3 to dev with MkDocs 1.1.2 and mike 0.5.5 --- dev/change-log/index.html | 18 ++++++++++++++++++ dev/search/search_index.json | 2 +- dev/sitemap.xml.gz | Bin 218 -> 218 bytes 3 files changed, 19 insertions(+), 1 deletion(-) diff --git a/dev/change-log/index.html b/dev/change-log/index.html index 4f21dcc0..c6860349 100644 --- a/dev/change-log/index.html +++ b/dev/change-log/index.html @@ -1076,6 +1076,13 @@