diff options
| author | Marvin Borner | 2024-02-24 23:36:24 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-24 23:36:24 +0100 |
| commit | 750eb72589a2da7712ded93e9a5060b2c30c24b5 (patch) | |
| tree | e7bc83c26fbe5f601c147a37010e9ad7c41e11b4 /src/Reducer/ION.hs | |
| parent | 9cf3e9fc04b8648b6bf21336e88f2a46de6f3f09 (diff) | |
Added verbose mode
Mainly for CI right now, might extend in the future.
Diffstat (limited to 'src/Reducer/ION.hs')
0 files changed, 0 insertions, 0 deletions