diff options
| author | Daniel Leong <falcone88@gmail.com> | 2021-02-11 15:29:23 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-11 20:29:23 +0000 |
| commit | 8cb9f5ef515f73eb3cf3188cc20ff57a51d9217b (patch) | |
| tree | 01f7d9e298f664a87ed3e2b8ebbef52e4e72c07d /ale_linters/idris | |
| parent | 3b184f88d32ff6492e99633f3c83d96c7a0caede (diff) | |
| download | ale-8cb9f5ef515f73eb3cf3188cc20ff57a51d9217b.zip | |
mypy: Pass user options before any others (#3582)
This enables us to use a custom `python` exe as the "mypy" executable
and pass `-m mypy` in `mypy_options`
Diffstat (limited to 'ale_linters/idris')
0 files changed, 0 insertions, 0 deletions