w0rp 85d8d2f217 Use cmd /c for Windows commands to fix a bug with running linters on Windows.

2016-10-08 16:01:23 +01:00

..

ale

Use cmd /c for Windows commands to fix a bug with running linters on Windows.

2016-10-08 16:01:23 +01:00