Remove docs submodules

[doc.git] / docs / submodules / integration / benchmark.git

diff --git a/docs/submodules/integration/benchmark.git b/docs/submodules/integration/benchmark.git
deleted file mode 160000 (submodule)
index 12db7aa..0000000
--- a/docs/submodules/integration/benchmark.git
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 12db7aaabe48d58ad9ff3acdfa71b9d0d099b08a