Remove duplicate Sphinx extension.

domdfcoding · domdfcoding · commit 46cc1abcb39a · 2022-04-04T21:59:19.000+01:00
diff --git a/pyproject.toml b/pyproject.toml
@@ -72,7 +72,6 @@ extensions = [
     "seed_intersphinx_mapping",
     "html_section",
     "sphinx_click",
-    "sphinx_toolbox_experimental.html_section",
     "sphinx_toolbox_experimental.autosummary_widths",
     "sphinx_toolbox_experimental.peps",
 ]
diff --git a/repo_helper.yml b/repo_helper.yml
@@ -39,7 +39,6 @@ python_versions:
 
 extra_sphinx_extensions:
  - sphinx_click
- - sphinx_toolbox_experimental.html_section
  - sphinx_toolbox_experimental.autosummary_widths
  - sphinx_toolbox_experimental.peps
 

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,6 @@ extensions = [`
`72`	`72`	`"seed_intersphinx_mapping",`
`73`	`73`	`"html_section",`
`74`	`74`	`"sphinx_click",`
`75`		`- "sphinx_toolbox_experimental.html_section",`
`76`	`75`	`"sphinx_toolbox_experimental.autosummary_widths",`
`77`	`76`	`"sphinx_toolbox_experimental.peps",`
`78`	`77`	`]`