diff --git a/src/sphinx-rtd-theme b/src/sphinx-rtd-theme deleted file mode 160000 index 6b89a7c13bba..000000000000 --- a/src/sphinx-rtd-theme +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6b89a7c13bba2a7100d7093ed5007b2abf67f277