From 8f6ecee62adbc240342717b3b65ebdc34a891c93 Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Sun, 24 Jul 2022 22:28:46 +0200
Subject: [PATCH] update tools

---
 docs/tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/tools b/docs/tools
index b3f7eae..0e3c125 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit b3f7eae1f7c1fb9e9eb54288d4a8471842f99f71
+Subproject commit 0e3c125c8819d042b3321bbe8cbba7ef938b82ad