diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-04-24 20:48:21 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-04-24 20:48:21 +0200 |
| commit | 65b6457f50576c3634651fb3f2083b0aebf7843a (patch) | |
| tree | 33aa71d008e92bbf2fd83e9601d080d7cbd571ad /src/Pairing.hs | |
| parent | fd4c36130bddaa667235f4fa10f1895bc54fe04c (diff) | |
Show usage info only with explicit `--help' option
Diffstat (limited to 'src/Pairing.hs')
0 files changed, 0 insertions, 0 deletions