remove docs/src directory (#1299)

7ee86e1d · Yan Ni · chicm-ms · 04c30254 · f389e1d0 · 04c30254
Commit 7ee86e1d authored Jul 17, 2019 by Yan Ni Committed by chicm-ms Jul 17, 2019
Show whitespace changes
Inline Side-by-side

Showing with 0 additions and 6 deletions

docs/src/configspace docs/src/configspace +0 -1

docs/src/pip-delete-this-directory.txt docs/src/pip-delete-this-directory.txt +0 -5

No files found.
--- a/configspace @ f389e1d0
+++ b/configspace @ f389e1d0
-Subproject commit f389e1d0a72564f7f1fd4d86039e5f393a45a058
--- a/docs/src/pip-delete-this-directory.txt
+++ b/docs/src/pip-delete-this-directory.txt
-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).