diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-01 11:23:45 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-06 17:40:49 +0100 |
| commit | a8927abe6c1b5b5e11339ee5958ad2f365ad3067 (patch) | |
| tree | e0d08c511a6ce206089e31d40281427d5f58d0b2 /executor/executor_linux.h | |
| parent | 8a67aa70b05cbdf2dd5702f4c3ba302f2feba0cf (diff) | |
prog: support opt for proc types
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions