diff options
| author | Julien Palard <julien@palard.fr> | 2022-06-16 20:32:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 19:32:09 +0100 |
| commit | 956cddb7d406a81edf26d80ff408f76aa01d0f24 (patch) | |
| tree | 364db66bc08798a05c5c134768c97fa4b20c4574 /doc/extdev | |
| parent | 2a88d8074bad2b7469ad47e78211bc3904192a96 (diff) | |
| download | sphinx-git-956cddb7d406a81edf26d80ff408f76aa01d0f24.tar.gz | |
Replace doclinter with sphinx-lint (#10389)
Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com>
Diffstat (limited to 'doc/extdev')
| -rw-r--r-- | doc/extdev/deprecated.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/extdev/deprecated.rst b/doc/extdev/deprecated.rst index 98bd463a9..81167cd4d 100644 --- a/doc/extdev/deprecated.rst +++ b/doc/extdev/deprecated.rst @@ -824,7 +824,7 @@ The following is a list of deprecated interfaces. - ``sphinx.domains.std.StandardDomain.process_doc()`` * - ``sphinx.domains.js.JSObject.display_prefix`` - - + - - 4.3 - ``sphinx.domains.js.JSObject.get_display_prefix()`` |