diff options
author | w0rp <w0rp@users.noreply.github.com> | 2017-03-30 16:37:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-30 16:37:28 +0100 |
commit | 3a74d242f9b2b09dd066e5cfd6ed9a0149395b87 (patch) | |
tree | b4d0396c13f68b8525f95826583b7023b1bcaf26 /ale_linters | |
parent | 2a88b60ff1ef5a4e9e73dc0d3be9f8ac51ec1309 (diff) | |
parent | e59e57d2e4c1e342b9708d955019911a06256f31 (diff) | |
download | ale-3a74d242f9b2b09dd066e5cfd6ed9a0149395b87.zip |
Merge pull request #431 from janclarin/master
Check for existence of g:ale_emit_conflict_warnings before checking value
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions