From 8674e2160271ad13c0062c4a38a6f5a34625e159 Mon Sep 17 00:00:00 2001 From: Auto Date: Thu, 23 Feb 2023 17:45:25 +0100 Subject: [PATCH] Remove krb5-mini --- .gitmodules | 3 --- krb5-mini | 1 - 2 files changed, 4 deletions(-) delete mode 160000 krb5-mini diff --git a/.gitmodules b/.gitmodules index 511896d..6fd1f69 100644 --- a/.gitmodules +++ b/.gitmodules @@ -358,9 +358,6 @@ [submodule "gettext-runtime-mini"] path = gettext-runtime-mini url = ../../rpm/gettext-runtime.git -[submodule "krb5-mini"] - path = krb5-mini - url = ../../rpm/krb5.git [submodule "systemtap-headers"] path = systemtap-headers url = ../../rpm/systemtap.git diff --git a/krb5-mini b/krb5-mini deleted file mode 160000 index b4b834c..0000000 --- a/krb5-mini +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b4b834c01ed1e3d170d71db887a086630880e226