Remove docs submodules

[doc.git] / docs / submodules / so / libs.git

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
deleted file mode 160000 (submodule)
index efdc7c5..0000000
--- a/docs/submodules/so/libs.git
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit efdc7c5697a5c3d1ccff4fe730e73cefcf694215