diff options
| author | w0rp <devw0rp@gmail.com> | 2018-05-28 14:45:07 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-05-28 14:45:07 +0100 |
| commit | ef1ec5341f9360085bede74bba25cf8bc5190a5f (patch) | |
| tree | 6fa3334dea2b0b7acd5e2ccc0864ff473d6eb78b /ale_linters/idris | |
| parent | cd0dc0a2273883109f5a7ccd4bb2b7e15f3630df (diff) | |
| download | ale-ef1ec5341f9360085bede74bba25cf8bc5190a5f.zip | |
Fix #1568 - Filter LSP completion results with the prefixes
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions