diff --git a/src/gismo/config b/src/gismo/config index 2cced54..370e96c 160000 --- a/src/gismo/config +++ b/src/gismo/config @@ -1 +1 @@ -Subproject commit 2cced546c168c2d60951c565ef5d6148f7b1472a +Subproject commit 370e96c5b19290d8d229fd71febbaf5ca51544ae