diff options
| author | jejo86 <28619134+jejo86@users.noreply.github.com> | 2022-06-29 11:24:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-29 10:24:10 +0100 |
| commit | cdc02594491b9410f250f0adc4ea6d223aa3de7f (patch) | |
| tree | 19f4fae2d18022c692c5acf5d45c9ca21ec78053 /pylint.cfg | |
| parent | Merge branch 'develop' into release-v1.62 (diff) | |
| download | synapse-cdc02594491b9410f250f0adc4ea6d223aa3de7f.tar.xz | |
Document the `--report-stats` argument (#13029)
Signed-off-by: jejo86 <28619134+jejo86@users.noreply.github.com>
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions