diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-08-18 20:03:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-08-18 20:03:52 +0200 |
| commit | b19edae95464132db61928670f18602653d82f06 (patch) | |
| tree | a02042ebdfabaa64027ced96be224a3b11ed7ebd /executor | |
| parent | 13fd8fda083fd4415c238851c8e3a520b1c78c2c (diff) | |
pkg/kernel: remove unused function
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions