From d022108b0789171b456ecd95e9a440debc7f3c2c Mon Sep 17 00:00:00 2001 From: Martin Schanzenbach Date: Fri, 5 Aug 2022 09:54:39 +0200 Subject: -update submodule --- doc/sphinx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/sphinx b/doc/sphinx index 18f809556..1f374da71 160000 --- a/doc/sphinx +++ b/doc/sphinx @@ -1 +1 @@ -Subproject commit 18f809556da253ad86f1ce889115fd55e4ea539b +Subproject commit 1f374da71b21d0b36eb6f95cc68958fd339c34a3 -- cgit v1.2.3