diff options
author | w0rp <devw0rp@gmail.com> | 2016-10-07 21:33:16 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2016-10-07 21:33:16 +0100 |
commit | 4489514e4b3edb4376040ed217c95b5ccb489bb0 (patch) | |
tree | 3b379280548e209414e46ae43dc45329d798d8c9 /stdin-wrapper.exe | |
parent | 2f86a92ecbd276b694d0a33db954e7e148b733a8 (diff) | |
download | ale-4489514e4b3edb4376040ed217c95b5ccb489bb0.zip |
Add a wrapper program for running linters which cannot receive stdin input on Windows.
Diffstat (limited to 'stdin-wrapper.exe')
-rw-r--r-- | stdin-wrapper.exe | bin | 0 -> 534016 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/stdin-wrapper.exe b/stdin-wrapper.exe Binary files differnew file mode 100644 index 00000000..d79f6785 --- /dev/null +++ b/stdin-wrapper.exe |