diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-12 12:36:52 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-12 12:38:36 +0200 |
| commit | 38558199915a6c6a799a1a2b679ac077d194afec (patch) | |
| tree | d943a42189855fd0f125504c367aade84c6c26ef /executor | |
| parent | f642b4185ae17f934431232d0ecea345e47dc632 (diff) | |
dashboard/config: enable CONFIG_DEBUG_AID_FOR_SYZBOT
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions