Remove docs submodules

[doc.git] / docs / submodules / portal.git

diff --git a/docs/submodules/portal.git b/docs/submodules/portal.git
deleted file mode 160000 (submodule)
index 8856489..0000000
--- a/docs/submodules/portal.git
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 885648993b3b2a9e7d36ebfeb96c196674c32e78