diff --git a/.gitmodules b/.gitmodules index c784ee3..012e583 100644 --- a/.gitmodules +++ b/.gitmodules @@ -5569,9 +5569,6 @@ [submodule "mdevctl"] path = mdevctl url = ../../pool/mdevctl -[submodule "pandoc-cli"] - path = pandoc-cli - url = ../../pool/pandoc-cli [submodule "patchelf"] path = patchelf url = ../../pool/patchelf @@ -7441,9 +7438,6 @@ [submodule "wtmpdb"] path = wtmpdb url = ../../ALP-pool/wtmpdb -[submodule "ghc"] - path = ghc - url = ../../pool/ghc [submodule "abseil-cpp"] path = abseil-cpp url = ../../pool/abseil-cpp diff --git a/ghc b/ghc deleted file mode 160000 index 8262651..0000000 --- a/ghc +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 826265161add42da163a631ae2a54dd1ad012f4c diff --git a/pandoc-cli b/pandoc-cli deleted file mode 160000 index 8063eba..0000000 --- a/pandoc-cli +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8063eba28f95d3c29c498288be19d48819faa6b3