diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-14 17:15:02 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | 9004acd9cc20a77e5227326a1ad4a0bcbc03316d (patch) | |
| tree | 18b79214958a3918d0eddb0e44fad00bc415d440 /executor/executor.h | |
| parent | dcfdc02b77d45a5cdf12273fb6cb0227e5cc6e4c (diff) | |
prog: remove unused writeArg argument
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions