diff options
| author | w0rp <devw0rp@gmail.com> | 2020-01-01 18:48:58 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-01-01 18:49:01 +0000 |
| commit | 874c98b96d913299fd61b3125211d299b012572c (patch) | |
| tree | 2df1668f580ce8e4ceaba70a72db67e54faf5088 /ale_linters/idris | |
| parent | 7a4f5cefba1477d049386a70320487868ab8583e (diff) | |
| download | ale-874c98b96d913299fd61b3125211d299b012572c.zip | |
Make it more obvious you can use popup in completeopt now
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions