diff options
author | w0rp <devw0rp@gmail.com> | 2017-12-19 15:35:57 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-12-19 15:35:57 +0000 |
commit | f74e22b938798a6bd64e6fa55754c3e7e28285dd (patch) | |
tree | bec21085182ce55e0666a92f1593739f0b2a0dc7 /Dockerfile | |
parent | d2bea5c3101e9f198492efb8ca294e63e62415a4 (diff) | |
download | ale-f74e22b938798a6bd64e6fa55754c3e7e28285dd.zip |
Clean up ALE linter buffer data when buffers are deleted, not unloaded
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions