diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 13:42:27 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-22 13:42:27 +0100 |
| commit | 26cd53f078db858a6ccca338e13e7f4d1d291c22 (patch) | |
| tree | 4f670db5eb9cd98656485ea2cba81d53b9ea66e3 /executor/executor.h | |
| parent | 3645389673af4c62a636cfe36f258ae770e8fb6b (diff) | |
executor: remove dead code
doexit already contains an infinite loop.
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions