diff options
| author | danieleades <33452915+danieleades@users.noreply.github.com> | 2023-01-02 18:32:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-02 18:32:44 +0000 |
| commit | 94e6e3917fc41862d662fbed0155673781c426d3 (patch) | |
| tree | f72459c865afd8dba661a4a21c9d482120e552a1 /sphinx/domains/index.py | |
| parent | 256e52180759e7205178a8aa087ee1e362b7669d (diff) | |
| download | sphinx-git-94e6e3917fc41862d662fbed0155673781c426d3.tar.gz | |
De-glob mypy whitelist for 'sphinx.domains.*' (#11064)
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
Diffstat (limited to 'sphinx/domains/index.py')
| -rw-r--r-- | sphinx/domains/index.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/domains/index.py b/sphinx/domains/index.py index a4dac8428..470c39f48 100644 --- a/sphinx/domains/index.py +++ b/sphinx/domains/index.py @@ -35,7 +35,7 @@ class IndexDomain(Domain): def clear_doc(self, docname: str) -> None: self.entries.pop(docname, None) - def merge_domaindata(self, docnames: Iterable[str], otherdata: dict) -> None: + def merge_domaindata(self, docnames: Iterable[str], otherdata: dict[str, Any]) -> None: for docname in docnames: self.entries[docname] = otherdata['entries'][docname] |