FIXED: remove theme pack and add to extensions

p768lwy3 · Oct 29, 2019 · 2d0456f · 2d0456f
1 parent 23a1dfd
commit 2d0456f
Show file tree

Hide file tree

Showing 34 changed files with 3 additions and 7,662 deletions.
diff --git a/doc/_themes/neo_rtd_theme/__init__.py b/doc/_themes/neo_rtd_theme/__init__.py
diff --git a/doc/_themes/neo_rtd_theme/breadcrumbs.html b/doc/_themes/neo_rtd_theme/breadcrumbs.html
diff --git a/doc/_themes/neo_rtd_theme/footer.html b/doc/_themes/neo_rtd_theme/footer.html
diff --git a/doc/_themes/neo_rtd_theme/layout.html b/doc/_themes/neo_rtd_theme/layout.html