diff options
| author | danieleades <33452915+danieleades@users.noreply.github.com> | 2022-12-29 19:09:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-29 19:09:17 +0000 |
| commit | 6a132eba5ae523bb7909e457a934bcc1855fba43 (patch) | |
| tree | 157ffabe078495094049fe59a297cb486dbf48a1 /sphinx/util/jsdump.py | |
| parent | bb37309a6da824664e385d43ca60a3161e620195 (diff) | |
| download | sphinx-git-6a132eba5ae523bb7909e457a934bcc1855fba43.tar.gz | |
Tighten mypy 'strict optional' whitelist (#11038)
Co-authored-by: Adam Turner <9087854+aa-turner@users.noreply.github.com>
Diffstat (limited to 'sphinx/util/jsdump.py')
0 files changed, 0 insertions, 0 deletions