diff options
| author | w0rp <devw0rp@gmail.com> | 2020-01-02 14:19:21 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2020-01-02 14:19:21 +0000 |
| commit | 8c4c8dfd97b6a7d24b490f8645d7c54461c45d52 (patch) | |
| tree | d442d9cec77f8e4db90d19103c399dc0d77d8043 /ale_linters/idris | |
| parent | 0cb432cb825e80c5a6f6dc9bc9c52a38f9b45319 (diff) | |
| download | ale-8c4c8dfd97b6a7d24b490f8645d7c54461c45d52.zip | |
Fix #2704 - Show mypy notes; can be disabled
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions