diff options
| author | Paul Chaignon <paul.chaignon@gmail.com> | 2020-02-15 20:58:44 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-02-16 10:22:29 +0100 |
| commit | cf9142006bfa242d2bbf5916749e42327103f803 (patch) | |
| tree | 210b72a3a4cdd628d50671b1a46e288b04aaeb65 /executor/executor.cc | |
| parent | 88f115c9699ca2f4fe25e29c5f97691be179a8a3 (diff) | |
sys/linux: add map batch operations
Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions