diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-08 19:55:34 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-09 16:05:46 +0200 |
| commit | acf31536e9e570b2a5ee11a7818c96e4d177c808 (patch) | |
| tree | d70ccf562c270bd4529bf0e5d16c6e7923c5447f /executor/executor.cc | |
| parent | 23b45a752503bd94a83d78ada7d19576d5f95a7d (diff) | |
executor: clean up immutable dirs
Turns out dirs can be immutable too.
Update #650
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions