diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-27 10:21:12 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-27 10:21:12 +0100 |
| commit | 34c18f5f43b3b7804b5650b5af67100262557297 (patch) | |
| tree | 5d2d197bb8b01ebd71937d07c692c5c4eb7edac8 /executor/executor_linux.h | |
| parent | 09c8f4c00afda40f484bc2e39e4718fc548c066e (diff) | |
executor: fix another format bug
Detected only by clang.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions