diff options
| author | Joey Jiao <joeyjiaojg@163.com> | 2019-01-16 21:38:28 +0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-16 14:38:28 +0100 |
| commit | d5d60d1061a714e302f62ab7f4e878900fe1ee4f (patch) | |
| tree | 077d6a4da61594a2d07f9cb114328c0689925fe3 /executor/executor.cc | |
| parent | 352bac0db5f0cb4d9fbcd81ef64d19720dbcc06a (diff) | |
syz-manager: add repo version and config link on stats page
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions