Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove non needed html theme path #2608

Merged

Conversation

jenshnielsen
Copy link
Collaborator

This is no longer needed according to the install instructions https://sphinx-rtd-theme.readthedocs.io/en/stable/

@jenshnielsen jenshnielsen force-pushed the sphinx_rtd_theme_cleanup branch from 2510dca to 6ab8024 Compare January 12, 2021 09:23
@codecov
Copy link

codecov bot commented Jan 12, 2021

Codecov Report

Merging #2608 (2510dca) into master (4ba3623) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #2608   +/-   ##
=======================================
  Coverage   63.60%   63.60%           
=======================================
  Files         198      198           
  Lines       25929    25929           
=======================================
  Hits        16493    16493           
  Misses       9436     9436           

@jenshnielsen jenshnielsen merged commit 21c0f6a into microsoft:master Jan 12, 2021
@jenshnielsen jenshnielsen deleted the sphinx_rtd_theme_cleanup branch January 12, 2021 10:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants