diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-29 21:35:43 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-10-29 21:35:43 +0200 |
| commit | e5f02ede3595239e6ca8705a54db42857266ab84 (patch) | |
| tree | 3da6abd78dfbca384dea8bea94a510b30eb217e3 /src/Wrapper.hs | |
| parent | 86351a85ec5c92a390e7bfc70648a67be84619c0 (diff) | |
Show commands sent to test tool in verbose mode
Diffstat (limited to 'src/Wrapper.hs')
0 files changed, 0 insertions, 0 deletions