diff options
author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2020-10-06 17:56:59 +0200 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2020-10-14 11:16:34 -0400 |
commit | 40a3008632abd8bb393eefc212547456f2a5cb25 (patch) | |
tree | a5c3fe0db688a28be279cac93174389863747d23 /drivers/gpio/stm32_gpio.c | |
parent | c90778ad70e2cf0844f0b10f8aad5d8cac11177a (diff) |
doc: Sphinx.override_domain() deprecated
Sphinx.override_domain() is deprecated since Sphinx 1.8 and removed in
Sphinx 3.
Use Sphinx.add_domain(, override=True) instead.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Diffstat (limited to 'drivers/gpio/stm32_gpio.c')
0 files changed, 0 insertions, 0 deletions