diff options
Diffstat (limited to 'docs/themes/sphinx_rtd_theme/theme.conf')
-rw-r--r-- | docs/themes/sphinx_rtd_theme/theme.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/themes/sphinx_rtd_theme/theme.conf b/docs/themes/sphinx_rtd_theme/theme.conf index 03537e98fc8..5cc687d7f98 100644 --- a/docs/themes/sphinx_rtd_theme/theme.conf +++ b/docs/themes/sphinx_rtd_theme/theme.conf @@ -18,4 +18,3 @@ prev_next_buttons_location = bottom style_external_links = False style_nav_header_background = vcs_pageview_mode = -mamedevorg = True |