diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-07-18 15:00:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-07-18 16:34:33 +0200 |
| commit | 012622d3c9466f5dc2bd0ca47c53498fbb167e3e (patch) | |
| tree | 3e6ce8aa75c936d15593ed017bd086114a5b2ae2 /executor | |
| parent | 50cd6f06ef7d8dade7f9c78810c4c3e42a00e312 (diff) | |
syz-ci: fix dashboard settings in manager config
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions