diff options
| author | stuebinm | 2021-09-16 23:18:14 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-16 23:18:14 +0200 |
| commit | 7a9226d84cf9dde33d0fc3e7852a22c36ab1c39b (patch) | |
| tree | 428079b8bd891dc09bedc594e149fc9799c82816 /.gitignore | |
| parent | de81f6cac440fff159546f6423f017197db49e1a (diff) | |
input options, output json
input options are mostly dummies for now, but some work (e.g. --inpath
and --json). Lints can now be optionally printed as json to be
reasonably machine-readable (and the json can be pretty-printed to make
it human-readable again …).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions