diff --git a/obdocs b/obdocs
deleted file mode 160000
index 658165c4c9..0000000000
--- a/obdocs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 658165c4c9df86b583228e1e1a77d6609e67aa26