diff options
author | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 14:25:06 +0300 |
---|---|---|
committer | Jeroen Vermeulen <jtv@precisiontranslationtools.com> | 2015-05-17 14:25:06 +0300 |
commit | 07a8fe06aacb91b3d37ba13ba635fc6bec4e1b6b (patch) | |
tree | fa003c85a9bc5fd64836ffc00aafdce9ddfe2310 /mingw | |
parent | 9bdcb5f7c1e1232010778e8bf99d76f2fbd4f6ed (diff) |
Also support checking for lint.
Choose which action(s) you want for each run: --format and/or --lint.
Many different types of files are lint-checkable, but you need Pocketlint
installed (plus ideally, its plugins for the various languages).
Also, added option to control batching of the commands.
Diffstat (limited to 'mingw')
0 files changed, 0 insertions, 0 deletions