Remove krb5-mini

2023-02-23 17:45:25 +01:00
parent 6272da6a0e
commit 8674e21602
2 changed files with 0 additions and 4 deletions
--- 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