diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-20 08:12:37 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | 9c36bbb03e89295439ece94f5648253e0b8573d0 (patch) | |
| tree | fda36146fc854952201d59f9aced2d6d413c7173 /executor/executor.cc | |
| parent | 0b8f2cf8440e16efacd5be10997b8366bc52bb75 (diff) | |
dashboard/config/linux: set more configs explicitly
Next change will make fewer configs enabled implicitly,
so make more configs explicit in preparation.
Update #2171
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions