diff options
author | Akshay <[email protected]> | 2022-01-28 13:57:25 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2022-01-28 13:57:25 +0000 |
commit | ea04e018dde7bd8eff069c54899bd3c24af68215 (patch) | |
tree | 7da0096a859d9f0e3b7f817d269f2d1c9acebe00 /bin/src/dump.rs | |
parent | 7cc887807552b2286c0db5806a9426b3bb50a2be (diff) | |
parent | 3d18754b9d744e63a93d61ba2fe931cb105ac5c4 (diff) |
Merge pull request #34 from nerdypepper/feat/exit-code
exit with non-zero status if warnings are present
Diffstat (limited to 'bin/src/dump.rs')
0 files changed, 0 insertions, 0 deletions