diff options
| author | w0rp <devw0rp@gmail.com> | 2018-03-02 12:10:27 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-03-02 12:10:27 +0000 |
| commit | 2096562899aa0994a2c6d2c30320810001d98591 (patch) | |
| tree | 28a6697a393ce5952337a05d307685d69e6c59b7 /plugin | |
| parent | 1d0690f6d774bb736edced967e5eeed7648ff6c1 (diff) | |
| download | ale-2096562899aa0994a2c6d2c30320810001d98591.zip | |
Make updating linter results slightly faster when the list is empty
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions