diff options
| author | w0rp <devw0rp@gmail.com> | 2017-02-11 22:43:13 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-02-11 22:43:13 +0000 |
| commit | 4a71638061451b4be169eb9b8df5c0bf82cc90f5 (patch) | |
| tree | a4ab8355305b8fbbf273223af9b37c89fc51d437 /ale_linters/ocaml | |
| parent | 341ea5f3673cf8d4bf0d64d2bdbfdf3ef857d695 (diff) | |
| download | ale-4a71638061451b4be169eb9b8df5c0bf82cc90f5.zip | |
Feed files to commands via stdin by first writing the file to a temporary file, and then piping them in via the shell instead
Diffstat (limited to 'ale_linters/ocaml')
0 files changed, 0 insertions, 0 deletions