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/command_callback | |
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/command_callback')
0 files changed, 0 insertions, 0 deletions