diff options
| author | w0rp <devw0rp@gmail.com> | 2017-05-07 19:33:59 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-05-07 19:33:59 +0100 |
| commit | 32f21751f4722abdb10b9da3b6cf088240d46421 (patch) | |
| tree | f85a12d7cf16e9a905fc9093dfee21ff72b027ff /ale_linters | |
| parent | ca120088c7206dfe8fc0a9e88a22470123cc574d (diff) | |
| download | ale-32f21751f4722abdb10b9da3b6cf088240d46421.zip | |
Do not copy the items for setting highlights, as we do need to modify the items in ale_buffer_infov1.3.0
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions