diff options
| author | stuebinm | 2024-04-12 16:17:06 +0200 |
|---|---|---|
| committer | stuebinm | 2024-04-12 16:17:06 +0200 |
| commit | 422dbd5209fddac75412d8e7de0137f732c7dbc4 (patch) | |
| tree | e315575c8f3e62df29ea1ab5f6c4886b2cbb2767 /trivials.json | |
| parent | 0567f916d4365c8dc0be99d194fe6d157befbc81 (diff) | |
some restructuring, arg handling, re-enable batchmode
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions