From cd8f77ee6f8222c759fc7e4119747b3945fccd1a Mon Sep 17 00:00:00 2001 From: "E. Prebet" Date: Fri, 30 Aug 2024 13:42:29 +0200 Subject: [PATCH] Update keymaerax-projects --- keymaerax-webui/src/main/resources/keymaerax-projects | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/keymaerax-webui/src/main/resources/keymaerax-projects b/keymaerax-webui/src/main/resources/keymaerax-projects index 91016ae181..d2405a1949 160000 --- a/keymaerax-webui/src/main/resources/keymaerax-projects +++ b/keymaerax-webui/src/main/resources/keymaerax-projects @@ -1 +1 @@ -Subproject commit 91016ae181aa9a48b29b0eae6f67e6d9a77fe8c1 +Subproject commit d2405a194982efa4ff0504f760f0adf0320e3108