diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2017-05-01 16:05:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-01 16:05:29 +0100 |
| commit | 5dcc77e8c80f39ebc095a16fe11846f53d508a3a (patch) | |
| tree | be9a9718b08d72aaa772f77508d7a4a1e839a279 /doc/ale-python.txt | |
| parent | 6547adcf2fc2b262aa5c8047f5687d6e65351087 (diff) | |
| parent | b0bba34ea2228ac73ecc63f1c459daf2a02066c4 (diff) | |
| download | ale-5dcc77e8c80f39ebc095a16fe11846f53d508a3a.zip | |
Merge pull request #521 from adriaanzon/rename-sh-linter-options
Rename g:ale_linters_sh_* to g:ale_sh_*
Diffstat (limited to 'doc/ale-python.txt')
0 files changed, 0 insertions, 0 deletions