From b2f4ea7d080e12252e2e896e44fac06c9368db2d Mon Sep 17 00:00:00 2001 From: David Boddie Date: Mon, 24 Jul 2023 12:38:39 +0100 Subject: [PATCH] docs: avoid mypy warning --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index d19d90f51b..821f9deac8 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -159,7 +159,7 @@ # Set up redirects (https://documatt.gitlab.io/sphinx-reredirects/usage.html) # For example: "explanation/old-name.html": "../how-to/prettify.html", -redirects = {} +#redirects = {} def generate_cli_docs(nil):