diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-07 20:21:18 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-08 12:52:31 +0100 |
| commit | 8ac12551c242ee54ea65b21c4c81ab41b838a602 (patch) | |
| tree | 86e8c35fc571280c9bb07c3da174dd6e65b4c6a2 /executor | |
| parent | f01cb93788a4efb4a69309a84774de5427da71ad (diff) | |
sys/linux: add type alias for socket port
type sock_port proc[20000, 4, int16be]
That was repeated a few times.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions