From 42b2ed486f09158d2c498b1bdbc108ca45e33100 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Wed, 25 Jan 2023 20:37:28 +0100 Subject: [PATCH] remove spacepackets submodule --- .gitmodules | 3 --- spacepackets | 1 - 2 files changed, 4 deletions(-) delete mode 160000 spacepackets diff --git a/.gitmodules b/.gitmodules index 36a814b..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +0,0 @@ -[submodule "spacepackets"] - path = spacepackets - url = https://egit.irs.uni-stuttgart.de/rust/spacepackets.git diff --git a/spacepackets b/spacepackets deleted file mode 160000 index a268903..0000000 --- a/spacepackets +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a268903105ced2280abbd7df528063b324df4a6d