From 104be68bf75d1474bdf061348327b585da0124c0 Mon Sep 17 00:00:00 2001 From: Christian Merten Date: Wed, 25 Oct 2023 19:15:51 +0200 Subject: [PATCH] update groupschemes lecture --- ws2023/groupschemes-lecture | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ws2023/groupschemes-lecture b/ws2023/groupschemes-lecture index 215e46c..ff678c3 160000 --- a/ws2023/groupschemes-lecture +++ b/ws2023/groupschemes-lecture @@ -1 +1 @@ -Subproject commit 215e46c90439d658fca78964fd6aab556b0e0976 +Subproject commit ff678c3b5c65ff10ff2785ac0d787de7e444bb85