diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-02 22:57:25 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-02 23:01:37 +0100 |
| commit | 1a5670d0fc6ee4640fc84b5abc01bf5efd85f5ce (patch) | |
| tree | 19788ed4380088aff4e6e5906933b7d75ee29738 /src/Run.hs | |
| parent | a5f0062f48fba018e7de8b5a3c0799381e535572 (diff) | |
Split command line and test options
Diffstat (limited to 'src/Run.hs')
0 files changed, 0 insertions, 0 deletions