diff options
| author | jhlink <jhlink@users.noreply.github.com> | 2020-07-29 01:36:45 -0400 |
|---|---|---|
| committer | jhlink <jhlink@users.noreply.github.com> | 2020-07-29 01:36:45 -0400 |
| commit | 428c5f94dab423d4d1af0ef46d51999d2142e1eb (patch) | |
| tree | 3197598dc66badbefc6b8afdc57e212d1fa2825b /ale_linters/idris/idris.vim | |
| parent | f4cff3bc06e35a1d5861972d9e1cea615255e989 (diff) | |
| download | ale-428c5f94dab423d4d1af0ef46d51999d2142e1eb.zip | |
fix: Use ALE to reliably find project options
Diffstat (limited to 'ale_linters/idris/idris.vim')
0 files changed, 0 insertions, 0 deletions