diff options
| author | David Smith <smithdc@gmail.com> | 2023-08-01 21:22:53 +0100 |
|---|---|---|
| committer | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2023-08-03 08:01:06 +0200 |
| commit | b3e0170ab546a96930ce3114b0a1a560953c0ff4 (patch) | |
| tree | d16c77b7253a0ead5ce34835e9aed07614a5b623 /docs/make.bat | |
| parent | 9b9c805cedb08621bd5dc58a01a6478eb7cc49a9 (diff) | |
Fixed #34756 -- Fixed docs HTML build on Sphinx 7.1+.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions