From c3e06d561e6f0e29572717e47707bde2a380f275 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Tue, 15 Dec 2020 06:04:24 +0000
Subject: [PATCH] Deployed 749ee55 to dev with MkDocs 1.1.2 and mike 0.5.5

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

diff --git a/dev/sitemap.xml.gz b/dev/sitemap.xml.gz
index 4836d74e299658958a4ae02861a1718656cd3c1b..3fa021f84bfea7ecb83883a6d033e6a8d42ceb3a 100644
GIT binary patch
delta 14
Vcmcb~c$1M$zMF&NdEi90%K#*t1s4DS

delta 14
Vcmcb~c$1M$zMF&Nvff0t%K#&+1mFMw