diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-13 11:24:24 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | f2d5384a68f4d7b18bf2917e593f24a5fd5e383f (patch) | |
| tree | 0159f3844d84b555959cae02e9c6f6b5efec053e /executor/common_linux.h | |
| parent | b6f0c91b3a2b8f7a6a6d956e21d3e26e2d1d8fee (diff) | |
vm/isolated: allow to specify ssh port for target machines
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions