diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-31 22:36:30 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-31 22:36:30 +0100 |
commit | ec82530247547a696f888cdefd4aeec5cf3d40cf (patch) | |
tree | 50f5819e291200cfeabf68b614c0e49ac8544e46 /plugin | |
parent | 7c32ef104bea322114e9c2bcfbd939aa22ee00af (diff) | |
download | ale-ec82530247547a696f888cdefd4aeec5cf3d40cf.zip |
#734 - Do not clear file linter results when no buffers are run
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions