diff --git a/Documentation/docs-site/themes/docdock b/Documentation/docs-site/themes/docdock deleted file mode 160000 index 9f4c3e91..00000000 --- a/Documentation/docs-site/themes/docdock +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9f4c3e91d757e7ab9bc164fd5ce565259037b08e