diff options
| author | Katsuya Horiuchi <katsuya.horiuchi.biz@gmail.com> | 2019-05-10 01:28:18 +0900 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2019-05-09 17:28:18 +0100 |
| commit | f444abdfe66696505cb891889b18c4144d12d4ea (patch) | |
| tree | c0b5c57c854c9e69dcc5a243fc2758f81aed98bc /.github | |
| parent | 722c3e8dae80b9cea738ddb3df4f7d066d669e53 (diff) | |
| download | ale-f444abdfe66696505cb891889b18c4144d12d4ea.zip | |
Add option to show msg id when pylint is used (#2445)
* Add python_pylint_use_msg_id to tweak output of pylint
* Add test for ale_python_pylint_use_msg_id
* Add doc on ale_python_pylint_use_msg_id
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions