From 08bff5dac9ef54a3d90603263eb49daee5cdcd3e Mon Sep 17 00:00:00 2001
From: Philipp Rothmann <philipprothmann@posteo.de>
Date: Tue, 2 Aug 2022 22:44:38 +0200
Subject: [PATCH] update tools

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

diff --git a/docs/tools b/docs/tools
index 2820ea9..cf2fa86 160000
--- a/docs/tools
+++ b/docs/tools
@@ -1 +1 @@
-Subproject commit 2820ea93feb4c6f4d2f82f94b68b0cc2d14c1f9e
+Subproject commit cf2fa864f25c2333084be08baccb19dfedf6fe7d