diff options
| author | w0rp <devw0rp@gmail.com> | 2016-10-08 16:01:17 +0100 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2016-10-08 16:01:23 +0100 |
| commit | 85d8d2f217ddbf8b02d1ef5dd181f3cc44bb1f00 (patch) | |
| tree | 7d7a666c3421177a27a09e6d578dd43f7c748574 /doc | |
| parent | edc5cedd8ce019d4d06931ec8b449a5179153b71 (diff) | |
| download | ale-85d8d2f217ddbf8b02d1ef5dd181f3cc44bb1f00.zip | |
Use cmd /c for Windows commands to fix a bug with running linters on Windows.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions