diff options
| author | w0rp <devw0rp@gmail.com> | 2018-07-12 09:21:28 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2018-07-12 09:21:28 +0100 |
| commit | 6ef31073dd8f8d094ef7bc5e7152a576ef4f9064 (patch) | |
| tree | e15b06cdbaeb8e27de1b6ced89e8a2b687e0993a /ale_linters/idris | |
| parent | 0de3d24338b03d6d487e1df2d43c8ec3a03634cf (diff) | |
| download | ale-6ef31073dd8f8d094ef7bc5e7152a576ef4f9064.zip | |
Remove an unused variable
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions