From 60286a86908f1687610b3f3c78eb11ff66d1715a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Thu, 28 Dec 2023 12:27:02 +0100 Subject: [PATCH] update to current state --- .gitmodules | 6 ------ openmpi2 | 1 - openmpi3 | 1 - 3 files changed, 8 deletions(-) delete mode 160000 openmpi2 delete mode 160000 openmpi3 diff --git a/.gitmodules b/.gitmodules index e4c6a30..df725d9 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4684,12 +4684,6 @@ [submodule "opencc"] path = opencc url = ../../ALP-pool/opencc -[submodule "openmpi2"] - path = openmpi2 - url = ../../ALP-pool/openmpi2 -[submodule "openmpi3"] - path = openmpi3 - url = ../../ALP-pool/openmpi3 [submodule "pacemaker"] path = pacemaker url = ../../ALP-pool/pacemaker diff --git a/openmpi2 b/openmpi2 deleted file mode 160000 index a3cc780..0000000 --- a/openmpi2 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a3cc780a2a6d582fc96826ab203150c5989ea01b diff --git a/openmpi3 b/openmpi3 deleted file mode 160000 index f3b360f..0000000 --- a/openmpi3 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit f3b360fa79fbe7df92ec839fc79f2409caec5e9a