diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-12-25 19:15:28 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-12-26 10:58:23 +0100 |
| commit | 85d28281fb84c829e7bf77a9e115e985bc8c665c (patch) | |
| tree | 76a52b58695611e34b6d1a093f8bfc27fa0341ee /executor/executor_linux.h | |
| parent | 4f7962a7bb882af560bc5c66285424f6d3b73e45 (diff) | |
syz-manager: factor out rpc serving part
Update #605
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions