diff options
| author | shiftinv <8530778+shiftinv@users.noreply.github.com> | 2022-07-12 23:51:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-12 22:51:29 +0100 |
| commit | ede71fd64403290b67a8db75b858df3ae07ca5d4 (patch) | |
| tree | 5178f3b6b3e9e12557db369156c43da4aeb1c61d /doc/conf.py | |
| parent | b3e03d9d07c5f9624b2a17d66697eca67bfcba20 (diff) | |
| download | sphinx-git-ede71fd64403290b67a8db75b858df3ae07ca5d4.tar.gz | |
Fix minor HTML search summary issues (#10548)
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions