diff options
| author | Linus Nordberg <linus@nordberg.se> | 2022-07-21 13:41:34 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordberg.se> | 2022-07-21 13:42:33 +0200 |
| commit | d7cc4c8089254fa22ea8ff7e256cfdeae82c868d (patch) | |
| tree | 956618e2ca67c3740612a79cd0ebb3a3d4ba4315 /jobs/git@git.sigsum.org:checker | |
| parent | 4b3658ff1fc7a9877552bd006fc09b5e25f83854 (diff) | |
Add command line argument --config (-f)
Diffstat (limited to 'jobs/git@git.sigsum.org:checker')
0 files changed, 0 insertions, 0 deletions