From c57a3792a092873f40c4e3490e719738e6ce2f2b Mon Sep 17 00:00:00 2001
From: Lidi Zheng <lidiz@google.com>
Date: Wed, 22 Apr 2020 17:02:32 -0700
Subject: [PATCH] Remove unused extension

---
 doc/python/sphinx/conf.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/python/sphinx/conf.py b/doc/python/sphinx/conf.py
index c30204b51ff..6e4bfab7d0e 100644
--- a/doc/python/sphinx/conf.py
+++ b/doc/python/sphinx/conf.py
@@ -58,7 +58,6 @@ extensions = [
     'sphinx.ext.napoleon',
     'sphinx.ext.coverage',
     'sphinx.ext.autodoc.typehints',
-    'sphinx.ext.extlinks',
 ]
 
 napoleon_google_docstring = True