From b6e08e480fdf812a0c927ef81e93201a4d8ec91e Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Tue, 27 Jun 2023 17:41:00 +0100
Subject: [PATCH] Deployed c5dbc35 to 1.3 with MkDocs 1.4.3 and mike 1.1.2

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

diff --git a/1.3/sitemap.xml.gz b/1.3/sitemap.xml.gz
index 90f65d21c91a232d795431d0b2af7c85b9084361..532408abad77d7e54730ac250fe4a8c4fa2a2231 100644
GIT binary patch
delta 12
Tcmb=gXOr*d;E)lV$W{pe6p#Y^

delta 12
Tcmb=gXOr*d;CLl4k*yK{7?K0Y

-- 
GitLab