summaryrefslogtreecommitdiff
path: root/src/Run.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2023-01-02 22:57:25 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2023-01-02 23:01:37 +0100
commit1a5670d0fc6ee4640fc84b5abc01bf5efd85f5ce (patch)
tree19788ed4380088aff4e6e5906933b7d75ee29738 /src/Run.hs
parenta5f0062f48fba018e7de8b5a3c0799381e535572 (diff)
Split command line and test options
Diffstat (limited to 'src/Run.hs')
0 files changed, 0 insertions, 0 deletions