diff options
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 f62e02a34..74e5a8b80 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -110,8 +110,6 @@ texinfo_documents = [ 1), ] -# We're not using intersphinx right now, but if we did, this would be part of -# the mapping: intersphinx_mapping = {'python': ('https://docs.python.org/3/', None)} # Sphinx document translation with sphinx gettext feature uses these settings: |