diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2016-05-08 11:29:13 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2016-05-08 11:29:13 -0400 |
| commit | 3254f78365cd315f620395a23373a1fa6c9aec0d (patch) | |
| tree | 4890701d68670a16ec36f84d98bf17f3352292dd /doc/conf.py | |
| parent | b918987030fadd52f47cb8b2067e54c59a73d794 (diff) | |
| download | python-coveragepy-git-3254f78365cd315f620395a23373a1fa6c9aec0d.tar.gz | |
Don't need this old css file any more
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index 71ece5bf..5c943878 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -115,9 +115,7 @@ if not on_rtd: # only import and set the theme if we're building docs locally # further. For a list of options available for each theme, see the # documentation. #html_theme_options = {} - #html_style = "neds.css" - #html_add_permalinks = "" # Add any paths that contain custom themes here, relative to this directory. |