diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-13 09:47:26 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-13 09:47:26 +0100 |
| commit | a782e0622313672cc7d807425a09a30288b11614 (patch) | |
| tree | 9953ae3115bc112d4d1303232fa65347356ff511 /ale_linters | |
| parent | 6d6cd6663eefd02603d28011a5a02f1792bbcde9 (diff) | |
| download | ale-a782e0622313672cc7d807425a09a30288b11614.zip | |
Handle linter callback functions being unknown or deleted
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions