diff options
| author | w0rp <devw0rp@gmail.com> | 2018-10-26 09:22:33 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-10-26 09:22:52 +0100 |
| commit | 77aacf0c91e15449e9b0c332047b666dd21ee9d4 (patch) | |
| tree | de7a707e5539583a22a0cb5e029ad2bb98a78f09 /doc/ale-idris.txt | |
| parent | 320c74ce1a28bfb4f2e10e1efcd2ca93701fc00e (diff) | |
| download | ale-77aacf0c91e15449e9b0c332047b666dd21ee9d4.zip | |
#927 Allow b:ale_linter_aliases to be set to a String
Diffstat (limited to 'doc/ale-idris.txt')
0 files changed, 0 insertions, 0 deletions