diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-12 09:13:35 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-12 09:13:35 +0100 |
| commit | 8b77d41235451ef4b7467c78b7018521e4b27741 (patch) | |
| tree | ccfaa4568d365710be106b36433c22935184cc28 /executor/executor_linux.h | |
| parent | da131727fbd586457e2dc17855f8b3967d01373f (diff) | |
syz-manager: show the same file after cover page reload
Handy when you are looking at a single file
and periodically reload page to get new coverage.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions