From 770f237b44e140f51bb80d1abbfc9c797acf8785 Mon Sep 17 00:00:00 2001 From: Jonathan Conder Date: Wed, 13 Oct 2021 09:58:00 +1300 Subject: [PATCH] Remove unconfigured submodule --- docs/src/pip-delete-this-directory.txt | 5 ----- docs/src/pytorch-sphinx-theme | 1 - 2 files changed, 6 deletions(-) delete mode 100644 docs/src/pip-delete-this-directory.txt delete mode 160000 docs/src/pytorch-sphinx-theme 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