diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 17:23:41 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-01-13 17:23:41 +0100 |
| commit | f675d35c97c47eb74148a55e1a56079f994f5fc8 (patch) | |
| tree | ed03a0043d00eb5e71681e63730a1ea5bae8c1a8 /executor/executor.cc | |
| parent | 91630fe39dd964945efdbdb67870a16958696a19 (diff) | |
prog: add some magic integers
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions