diff options
| author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2023-05-02 23:17:04 +0200 |
|---|---|---|
| committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2023-05-03 22:01:26 +0200 |
| commit | be15ae44eef293f35529e2522760e758b3c81238 (patch) | |
| tree | 2f642379428693389fe9bc2b04af03fb8b578255 /doc/user_guide | |
| parent | 55504c5926d8159ff73a9c2167f60e3b467765f0 (diff) | |
| download | pylint-git-be15ae44eef293f35529e2522760e758b3c81238.tar.gz | |
[use-implicit-booleaness] Micro-optimization if some messages are disabled
Diffstat (limited to 'doc/user_guide')
0 files changed, 0 insertions, 0 deletions