Sphinx RTD theme does not actually have to be included

peterwittek · Dec 2, 2015 · 1073236 · 1073236
1 parent daaf4ce
commit 1073236
Show file tree

Hide file tree

Showing 18 changed files with 0 additions and 1,021 deletions.
diff --git a/src/Python/doc/source/_themes/sphinx_rtd_theme/LICENSE b/src/Python/doc/source/_themes/sphinx_rtd_theme/LICENSE
diff --git a/src/Python/doc/source/_themes/sphinx_rtd_theme/__init__.py b/src/Python/doc/source/_themes/sphinx_rtd_theme/__init__.py
diff --git a/src/Python/doc/source/_themes/sphinx_rtd_theme/breadcrumbs.html b/src/Python/doc/source/_themes/sphinx_rtd_theme/breadcrumbs.html
diff --git a/src/Python/doc/source/_themes/sphinx_rtd_theme/footer.html b/src/Python/doc/source/_themes/sphinx_rtd_theme/footer.html
diff --git a/src/Python/doc/source/_themes/sphinx_rtd_theme/layout.html b/src/Python/doc/source/_themes/sphinx_rtd_theme/layout.html