diff --git a/docs/src/pip-delete-this-directory.txt b/docs/src/pip-delete-this-directory.txt deleted file mode 100644 index c8883ea9..00000000 --- a/docs/src/pip-delete-this-directory.txt +++ /dev/null @@ -1,5 +0,0 @@ -This file is placed here by pip to indicate the source was put -here by pip. - -Once this package is successfully installed this source code will be -deleted (unless you remove this file). diff --git a/docs/src/pytorch-sphinx-theme b/docs/src/pytorch-sphinx-theme deleted file mode 160000 index 3f242a18..00000000 --- a/docs/src/pytorch-sphinx-theme +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3f242a18192beec717cfc02eefa0e89a8cd22139