diff --git a/sphinx b/sphinx deleted file mode 160000 index aab44c9f..00000000 --- a/sphinx +++ /dev/null @@ -1 +0,0 @@ -Subproject commit aab44c9f1f42d93ab7cb38e1a31b3ea5b42dd274