diff options
| author | Scott Gasch <[email protected]> | 2021-11-13 07:06:31 -0800 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2021-11-13 07:06:31 -0800 |
| commit | 957c962294cde93c4c649ed18dedd16df071878d (patch) | |
| tree | 04207d711c01b33eb73b61782ed18aaa9d5e363d /exec_utils.py | |
| parent | e5da1fa6bab9ea6bf4394facbb29f13cdc3daf9a (diff) | |
Small bugfixes; also, add a new machine to the remote executor pool.
Diffstat (limited to 'exec_utils.py')
0 files changed, 0 insertions, 0 deletions