diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-08-17 19:21:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-17 19:21:42 +0100 |
| commit | ee62cc6898e88a292fc790b049e2ee5454d7b957 (patch) | |
| tree | 3863c029074f2663b6f063b2440b4ed190cbe329 /test/tex_files | |
| parent | 219fb5873c1012f3f0f9d177a885c1470c7039e6 (diff) | |
| parent | 266fa1c0a4e9668587adab00f705bb14d92a5425 (diff) | |
| download | ale-ee62cc6898e88a292fc790b049e2ee5454d7b957.zip | |
Merge pull request #2706 from richyfish/2703_mypy_stderr
mypy linter capture stderr for error reporting in ALEInfo
Diffstat (limited to 'test/tex_files')
0 files changed, 0 insertions, 0 deletions