diff options
| author | jonmv <venstad@gmail.com> | 2023-10-10 14:20:21 +0200 |
|---|---|---|
| committer | jonmv <venstad@gmail.com> | 2023-10-10 14:20:21 +0200 |
| commit | d2da4ed4e287dd40d36bc5ded8c1ecce4f100d8d (patch) | |
| tree | e4d1fd1b8d0cefb4eb23ec9a13422ff38686501b /dist.sh | |
| parent | 793095c3f54fe50d00482809901e7c99e13c618a (diff) | |
Wait longer before interrupting job runner
Diffstat (limited to 'dist.sh')
0 files changed, 0 insertions, 0 deletions