diff options
| author | Michael Grote | 2023-06-10 11:10:14 +0200 |
|---|---|---|
| committer | Michael Grote | 2023-06-10 11:10:14 +0200 |
| commit | c64a78a15e4f128d1c149eb26f1a35dfb989c28f (patch) | |
| tree | ba67fc7675cd3b4a7c0b738566e7b9e26af07b1e /run.sh | |
| parent | d482fddf0ca665ee6b237ae890a57ed6f033609e (diff) | |
ci: syntax
Diffstat (limited to 'run.sh')
0 files changed, 0 insertions, 0 deletions