diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-03 22:56:57 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-03 22:56:57 +0100 |
commit | 433c3f0a80784a5e529b9268891ed2fddf0f2627 (patch) | |
tree | 4ab1da9b78442f744becc891d152cc208724a231 /src/Util.hs | |
parent | 1a5670d0fc6ee4640fc84b5abc01bf5efd85f5ce (diff) |
Command-line option to display version
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions