diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-30 09:29:11 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-30 09:29:11 +0000 |
| commit | a6ca60203f74bd84122656d4a91db9490e52a732 (patch) | |
| tree | de377cb2f22145b595af1b626b076d28cf4973df /ale_linters | |
| parent | 629e6a367500e372a5c60ff384859430ea08e386 (diff) | |
| download | ale-a6ca60203f74bd84122656d4a91db9490e52a732.zip | |
Increase the delay for linting on entering a buffer.
Diffstat (limited to 'ale_linters')
0 files changed, 0 insertions, 0 deletions