diff --git a/docs b/docs
deleted file mode 160000
index 7c9e824..0000000
--- a/docs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 7c9e824f66ae0ca1c352cf7cb3007c2be8b5f512