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 /.gitignore | |
parent | 2f86a92ecbd276b694d0a33db954e7e148b733a8 (diff) | |
download | ale-4489514e4b3edb4376040ed217c95b5ccb489bb0.zip |
Add a wrapper program for running linters which cannot receive stdin input on Windows.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ /init.vim /doc/tags .* +*.obj |