From 45a1f9d44a25e6ac5d89d6db2d306d71dc458dab Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Sat, 24 Aug 2024 12:03:56 +0000
Subject: [PATCH] Deployed 3f38a25 to dev with MkDocs 1.5.3 and mike 2.0.0

---
 dev/sitemap.xml.gz | Bin 523 -> 523 bytes
 versions.json      |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/sitemap.xml.gz b/dev/sitemap.xml.gz
index ceb1bce282614590474caefc306eb890de75de0d..d2a576d48606b49c5e59623caa854642c5e22b1a 100644
GIT binary patch
delta 15
WcmeBX>1JV*@8;mpJhPFFl?ebIQUj6z

delta 15
WcmeBX>1JV*@8;lOU$v2ql?ebG+yhPk

diff --git a/versions.json b/versions.json
index dcd52aaf..f28397bb 100644
--- a/versions.json
+++ b/versions.json
@@ -1,7 +1,7 @@
 [
   {
     "version": "dev",
-    "title": "dev (a8a3828)",
+    "title": "dev (3f38a25)",
     "aliases": []
   }
 ]