From 7e7365bd99c5ffa9ef3f0ee2e57e953dcfdcda22 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Fri, 9 Jun 2023 16:23:37 +0200 Subject: [PATCH] update to current state --- .gitmodules | 3 +++ shim.28798 | 1 + 2 files changed, 4 insertions(+) create mode 160000 shim.28798 diff --git a/.gitmodules b/.gitmodules index 76b6ad8..16e839f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -7441,3 +7441,6 @@ [submodule "wordcut"] path = wordcut url = ../../ALP-pool/wordcut +[submodule "shim.28798"] + path = shim.28798 + url = ../../ALP-pool/shim.28798 diff --git a/shim.28798 b/shim.28798 new file mode 160000 index 0000000..4a5a9f7 --- /dev/null +++ b/shim.28798 @@ -0,0 +1 @@ +Subproject commit 4a5a9f72dc2dbd6f48e8a4af676653c52063f8a7