From 1d7a0f2e657e8c5046ee551253dd7144e5ec4ee4 Mon Sep 17 00:00:00 2001
From: GitHub Action <action@github.com>
Date: Wed, 20 Jul 2022 16:24:39 +0000
Subject: [PATCH] Deployed 888da01592 to master with MkDocs 1.3.1 and mike
 1.1.2

---
 master/sitemap.xml.gz | Bin 2280 -> 2280 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/master/sitemap.xml.gz b/master/sitemap.xml.gz
index 658cfc848396d7470c63dad0216f896638a6efcb..3733eca66772a9593b62a5420c9e05c2ff3e12eb 100644
GIT binary patch
delta 15
WcmaDM_(G6PzMF%?NoOP5BMty51_Z(Y

delta 15
WcmaDM_(G6PzMF%?NMj@0BMty4k_4^*