diff --git a/docs/source/conf.py b/docs/source/conf.py index 6da67458279d78de67ed34c2a8f2455f9cac31b3..267d51044e6ce4e832a5775e4681f0295a8a3dd6 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -156,8 +156,6 @@ pygments_style = 'sphinx' html_theme = 'sphinx_material' html_theme_options = { 'base_url': 'https://gh-docs.pymor.org/', - 'repo_url': 'https://github.com/pymor/pymor/', - 'repo_name': 'pyMOR', 'html_minify': True, 'css_minify': True, 'nav_title': 'pyMOR Documentation',