diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-01-15 13:02:51 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-15 13:02:51 +0000 |
commit | 548ff299f4d68890ec7d00a7d20a78c820b0bb2b (patch) | |
tree | 34472c2a428c4673c028d49b59ae291597266039 /ale_linters/c | |
parent | 8762a6fa665b54c8a24bfe0139f4ee8cb2a52b99 (diff) | |
parent | dc8166384c023b5de963cb21730b756f80286c90 (diff) | |
download | ale-548ff299f4d68890ec7d00a7d20a78c820b0bb2b.zip |
Merge pull request #243 from SabatierBoris/master
Add options for pylint linter
Diffstat (limited to 'ale_linters/c')
0 files changed, 0 insertions, 0 deletions