diff options
author | w0rp <devw0rp@gmail.com> | 2016-10-13 15:21:28 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2016-10-13 15:21:28 +0100 |
commit | ed44d8a146fb891c8a14878922e44a1bbce828c7 (patch) | |
tree | 758a87c6d28c5ef751880e091db4e917b5a799d4 /ale_linters | |
parent | a8c83a097b54da0b6525f57d7d8eac69002dcec5 (diff) | |
download | ale-ed44d8a146fb891c8a14878922e44a1bbce828c7.zip |
#107 - Check if the buffer is gone by looking for a key in the map instead.
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions