Unnecessary sphinx theme removed

peterwittek · Nov 28, 2016 · da8e105 · da8e105
1 parent eae4368
commit da8e105
Show file tree

Hide file tree

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