From 2ba1a3411f2194afb51ac7aacae93ee1c1cf8468 Mon Sep 17 00:00:00 2001 From: github-actions Date: Fri, 18 Dec 2020 19:07:23 +0000 Subject: [PATCH] Deployed 079547e to dev with MkDocs 1.1.2 and mike 0.5.5 --- dev/change-log/index.html | 18 ++++++++ .../virtual-environments/index.html | 42 +++++++++++++++++- dev/index.html | 1 + dev/search/search_index.json | 2 +- dev/sitemap.xml.gz | Bin 216 -> 216 bytes 5 files changed, 60 insertions(+), 3 deletions(-) diff --git a/dev/change-log/index.html b/dev/change-log/index.html index c32dc0f5..0515cd7e 100644 --- a/dev/change-log/index.html +++ b/dev/change-log/index.html @@ -959,6 +959,13 @@