diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-07-22 09:23:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-07-22 09:23:10 +0200 |
| commit | d6e6e5e69cba9b5a23021971fea1c9592d2a74ae (patch) | |
| tree | 4353c86c9de24cced5e2c4b949c0c1c30de698a4 /executor/common_linux.h | |
| parent | 18678d6989dc28eb5dfa6dd9829d2a0847cde496 (diff) | |
docs: fix description of ptr type
ptr has direction as the first argument.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions