diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-30 14:58:57 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-30 21:45:03 -0700 |
| commit | 0ed59d7fcd6f133636fbde267514fb3a54fa92e5 (patch) | |
| tree | e456a732be1bfe40504ac481027d5bc5a1b1e25f /executor/executor_linux.h | |
| parent | e8dd2c6713522707b3b89884eb95601cdf9bc9be (diff) | |
sys/linux: generate better block device names for mount
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions