From a4df8099165d051523bd8785203eca40dc5b3a37 Mon Sep 17 00:00:00 2001 From: Sven Heidemann Date: Sun, 9 Jan 2022 10:48:47 +0100 Subject: [PATCH] Improved config --- src/gismo/config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gismo/config b/src/gismo/config index 777df2f..2cced54 160000 --- a/src/gismo/config +++ b/src/gismo/config @@ -1 +1 @@ -Subproject commit 777df2f857760d70bfb9e3c14b161389238d0e51 +Subproject commit 2cced546c168c2d60951c565ef5d6148f7b1472a