diff options
| author | stuebinm | 2021-12-22 21:45:45 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-22 21:45:45 +0100 |
| commit | ebfc8be95e83852081d8dc93d2bf4717df18583e (patch) | |
| tree | d7a70d354046e9d6d4dc8ec0fd73bc46e60c3b40 /lib/CheckDir.hs | |
| parent | e8fca76246a313f743180408c5745cb050d1d1a6 (diff) | |
print version information on --version
If --version is given, `walint` prints version information, then exists
with code 0.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions