diff options
author | stuebinm | 2021-11-17 00:51:21 +0100 |
---|---|---|
committer | stuebinm | 2021-11-17 00:51:21 +0100 |
commit | a572b9e1b113e0c8bea94c4f561c35742cdf4aeb (patch) | |
tree | 478e848a77a5289356bb9acef8746f347f0b6275 /lib/Util.hs | |
parent | 7b079ff7a66ea0d7baa12fa16f084f025c1c9fce (diff) |
exit with code 1 if maximum lint level exceeded
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions