From cd0ceaaf30a538be20d9e13971c6e0d27f5bdb36 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Thu, 28 Dec 2023 12:09:51 +0100 Subject: [PATCH] update to current state --- .gitmodules | 3 --- openmpi1 | 1 - 2 files changed, 4 deletions(-) delete mode 160000 openmpi1 diff --git a/.gitmodules b/.gitmodules index b952e77..0892805 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4684,9 +4684,6 @@ [submodule "opencc"] path = opencc url = ../../ALP-pool/opencc -[submodule "openmpi1"] - path = openmpi1 - url = ../../ALP-pool/openmpi1 [submodule "openmpi2"] path = openmpi2 url = ../../ALP-pool/openmpi2 diff --git a/openmpi1 b/openmpi1 deleted file mode 160000 index 1104dc3..0000000 --- a/openmpi1 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1104dc3511c465679bb78f452baac2f8a7c42350