diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-11-14 18:12:19 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-11-16 09:58:54 +0100 |
| commit | 2ac1d00f55d2dd477e6a004c2e03f6947e867d6b (patch) | |
| tree | fd4adebf28c51bae6298d923ef372a03e1f998bf /executor/common.h | |
| parent | 531b5368e2d232cc2697bc555dc481143ced0ca0 (diff) | |
executor: rename some flags
Rename some flags in preparation for subsequent changes
which will align names across the code base.
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions