From: Stefano Rivera <stefanor@debian.org>
Date: Mon, 4 Nov 2019 17:29:44 -0800
Subject: Remove unused intersphinx_mapping

---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 52c7703..e19496b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -275,4 +275,4 @@ texinfo_documents = [
 
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {"https://docs.python.org/": None}
+#intersphinx_mapping = {"https://docs.python.org/": None}
