diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-03-13 19:49:29 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-03-13 19:49:29 +0100 |
| commit | 749688d22abef3f3cb9a0480e15c19a3f2ed8e13 (patch) | |
| tree | c3d4d5b0f4f0b37a09a6ac293b164104f5a52135 /sys/linux | |
| parent | bddb05c5eb472b2286a3cd0245b1b0f06cab68e2 (diff) | |
executor: fix format warning
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions