Remove docs submodules

[doc.git] / docs / submodules / msb / discovery.git

diff --git a/docs/submodules/msb/discovery.git b/docs/submodules/msb/discovery.git
deleted file mode 160000 (submodule)
index 93d71ab..0000000
--- a/docs/submodules/msb/discovery.git
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 93d71abd86fa4874a3a44cb5dcd97e4a7b4f1a26