Remove docs submodules

[doc.git] / docs / submodules / optf / has.git

diff --git a/docs/submodules/optf/has.git b/docs/submodules/optf/has.git
deleted file mode 160000 (submodule)
index 53d9a76..0000000
--- a/docs/submodules/optf/has.git
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 53d9a763f4d0a29af77b43d0d1dd049d8389b9ce