diff options
author | siddharth <s@ricketyspace.net> | 2021-10-31 15:50:53 -0400 |
---|---|---|
committer | siddharth <s@ricketyspace.net> | 2021-10-31 15:50:53 -0400 |
commit | 57f2504cfc7d89c519b35952400e3b09309674b7 (patch) | |
tree | 263472e93012e13f92146b0f9a1a9a4e073231b0 | |
parent | 063fdef272f665daf756d529ef1d12cc757f99a7 (diff) |
docs/conf.py: remove intersphinx_mapping
-rw-r--r-- | docs/conf.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5362d82..16f6b29 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -298,9 +298,3 @@ texinfo_documents = [ # If true, do not generate a @detailmenu in the "Top" node's menu. #texinfo_no_detailmenu = False - -# Example configuration for intersphinx: refer to the Python standard library. -intersphinx_mapping = { - 'https://docs.python.org/2.7': None, - 'https://pythonhosted.org/watchdog/': None -} |