From dd1d5fba4b3a9cae9e0c4012b70b92411b4e8cce Mon Sep 17 00:00:00 2001 From: Georg Hagen Date: Mon, 22 Jul 2024 11:29:48 +0200 Subject: [PATCH] Update code style --- doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc b/doc index 88fb9e1..25bfd51 160000 --- a/doc +++ b/doc @@ -1 +1 @@ -Subproject commit 88fb9e13fc4e9f92ec6a9ad2f5005e142d5ae678 +Subproject commit 25bfd5114cf9872e2ba014ae853e1ef6e16a4448