diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-26 17:43:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-26 17:43:13 +0100 |
| commit | 1d19aa5799f95ef214351cfe7e94ffe64247dbee (patch) | |
| tree | c6372692a7d97045c21863927bbbc471cd54b321 /prog/minimization.go | |
| parent | b37b65b0e69a4d22551aa6a207856ad7b3801e69 (diff) | |
executor: simplify initialize_tun
Remove executor_pid, enable_tun and setup_tun.
Diffstat (limited to 'prog/minimization.go')
0 files changed, 0 insertions, 0 deletions