From bb7bbf0f31a3755e5b4544ee5d94997089aa8086 Mon Sep 17 00:00:00 2001 From: Auto Date: Thu, 23 Feb 2023 17:45:25 +0100 Subject: [PATCH] Remove systemtap-headers --- .gitmodules | 3 --- systemtap-headers | 1 - 2 files changed, 4 deletions(-) delete mode 160000 systemtap-headers diff --git a/.gitmodules b/.gitmodules index 511896d..a1d3e8e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -361,9 +361,6 @@ [submodule "krb5-mini"] path = krb5-mini url = ../../rpm/krb5.git -[submodule "systemtap-headers"] - path = systemtap-headers - url = ../../rpm/systemtap.git [submodule "update-alternatives"] path = update-alternatives url = ../../rpm/dpkg.git diff --git a/systemtap-headers b/systemtap-headers deleted file mode 160000 index 58a8b83..0000000 --- a/systemtap-headers +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 58a8b83dfc3c6eb57b13db462c038e93e62fa660 -- 2.49.0