diff options
| author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2023-05-03 15:40:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-03 14:40:10 +0000 |
| commit | 7be05df0b143bd7bf25a6cc3a489d0af913b48cf (patch) | |
| tree | f6366fa6a41b1767e06fc89880edcf52799ae2ec /mypy.ini | |
| parent | Merge branch 'release-v1.83' into develop (diff) | |
| download | synapse-7be05df0b143bd7bf25a6cc3a489d0af913b48cf.tar.xz | |
Switch back to upstream devenv flake (#15533)
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions