diff options
author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2022-04-05 17:21:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-05 17:21:58 +0100 |
commit | 163fd686b5db10eab2c70855dedef23204c6f18c (patch) | |
tree | b89b812bdf9c22c0e4205be7a2fc17b001309e5d /mypy.ini | |
parent | Fix edge case where a `Linearizer` could get stuck (#12358) (diff) | |
download | synapse-163fd686b5db10eab2c70855dedef23204c6f18c.tar.xz |
Update mdbook to 0.4.17 (#12339)
Update mdbook (the tool used to render the documentation website) to version 0.4.17.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions