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