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