diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-23 12:56:00 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-23 12:56:00 +0100 |
| commit | a5b7566c4a75cf70b3714f8dd2edc772174f28f9 (patch) | |
| tree | 028fbac2c634c0485227f24fcdf1a3e04965cc74 /sys/linux | |
| parent | 3d76cc40d99e9f984db1ecc9310a8ea2004ec901 (diff) | |
executor: handle old and new selinux mount points
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions