diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-10-24 22:06:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-24 22:06:38 +0100 |
| commit | 5a91f7e19f1eab027bfd93098d80e1cdd847f918 (patch) | |
| tree | 1e84cc171f46bce8533098d85a45df0fc639dab4 /CONTRIBUTING.md | |
| parent | be5c7a09ced7b8fd0fa3bf964fa3364ef0751a21 (diff) | |
| parent | c96e7402ba62e4f40324e0fbf3331dd6dda64b47 (diff) | |
| download | ale-5a91f7e19f1eab027bfd93098d80e1cdd847f918.zip | |
Merge pull request #1043 from fengdasuk19/fengdasuk19-pylint-rcfile
example for 'rcfile' on ale_python_pylint_options
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions