From 74c73b80d4bd71cbe0617e3d53d787656d9b3c37 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrian=20Schr=C3=B6ter?= Date: Mon, 14 Aug 2023 14:15:05 +0200 Subject: [PATCH] update to current state --- .gitmodules | 6 ------ ghc | 1 - pandoc-cli | 1 - 3 files changed, 8 deletions(-) delete mode 160000 ghc delete mode 160000 pandoc-cli 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