From f3fff020a14b4e687123372551ced7b932a7d18d Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Tue, 2 Aug 2022 21:45:52 +0200
Subject: [PATCH] update pages

---
 docs/.pages | 0
 docs/tools  | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 docs/.pages

diff --git a/docs/.pages b/docs/.pages
deleted file mode 100644
index e69de29..0000000
diff --git a/docs/tools b/docs/tools
index d1af96a..2820ea9 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit d1af96a832b22f4c61226442a1775fa54799af13
+Subproject commit 2820ea93feb4c6f4d2f82f94b68b0cc2d14c1f9e