lint

jupyter · Sep 30, 2023 · 43bc70b · 43bc70b
1 parent 6ae3b92
commit 43bc70b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -16,7 +16,7 @@
 import os.path as osp
 import shutil
 
-from sphinx.util import logging
+from sphinx.util import logging  # type:ignore[import]
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the