diff options
| author | jhlink <jhlink@users.noreply.github.com> | 2020-07-28 23:28:25 -0400 |
|---|---|---|
| committer | jhlink <jhlink@users.noreply.github.com> | 2020-07-28 23:28:25 -0400 |
| commit | 7d40d0a16f29370f68fafe4c4814796e4eb260a0 (patch) | |
| tree | 7630acaea4f259293603ea5a7faa2376d82e79c4 /ale_linters/idris/idris.vim | |
| parent | a9b2f6362d45bef8cd05de29dd83ebb6c148f408 (diff) | |
| download | ale-7d40d0a16f29370f68fafe4c4814796e4eb260a0.zip | |
chore: Distinguish test value name
Diffstat (limited to 'ale_linters/idris/idris.vim')
0 files changed, 0 insertions, 0 deletions