diff options
author | w0rp <w0rp@users.noreply.github.com> | 2018-06-25 17:03:15 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-25 17:03:15 +0100 |
commit | 66820ed452839a9e09eb18bbaad538d3a25d33f8 (patch) | |
tree | 3ff2be7cec46e488fa2af123f5433fd1f87a7ac0 /ale_linters/python | |
parent | 620951b6d3420ca69754f3e1068167729d8c651b (diff) | |
parent | 49d995a521c7f0fa4cd9524fa139cfdaba6e0677 (diff) | |
download | ale-66820ed452839a9e09eb18bbaad538d3a25d33f8.zip |
Merge pull request #1641 from docwhat/pr/add-bash-lsp
sh: add bash-language-server linter
Diffstat (limited to 'ale_linters/python')
0 files changed, 0 insertions, 0 deletions