diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-04 21:03:23 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-04 21:03:23 +0200 |
| commit | a27fcb307927cab7bb6438a6998bddb9fd1c93ee (patch) | |
| tree | e890ee939b494e7e16ef0112059114cde811d3e8 /executor | |
| parent | a29e1be6ffa41bac1622011d3bb724e06d03c523 (diff) | |
sys: use ptr64 type instead of ptr where necessary
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions