diff options
| author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-25 13:20:51 +0200 |
|---|---|---|
| committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-08-25 14:19:11 +0200 |
| commit | 8728e25b3436576faf5a9b82b9174c7d8ce8f640 (patch) | |
| tree | 1a77fe82969e532620b2f2a7195c3f561a5a08f7 /log/run | |
| parent | e2da8ef1a313a810d1b24c9d5fa1639814d463d1 (diff) | |
add a timeout value for the finish script
Diffstat (limited to 'log/run')
0 files changed, 0 insertions, 0 deletions