diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-18 19:22:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-21 10:22:10 +0200 |
| commit | 30a6c103d18a71bd8dacab18447d6f4d8f8c7060 (patch) | |
| tree | 67437282e899cfdc18ce08a4851a999e71a18317 /executor/executor_linux.h | |
| parent | 6c48899b6c65d54e0914670e2ad48910c7d3f445 (diff) | |
dashboard/config: delete old scripts and configs
The shell and python scripts and config fragments are replaced
by the new config generation system (dashboard/config/linux/bits
and tools/syz-kconf).
Update #2171
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions