diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-12 18:31:28 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-12 18:31:28 +0200 |
| commit | 6fb8a0255e277f72870fa7bcc242c8218505d83e (patch) | |
| tree | 139765cfad3297db97f36c99f581a0eac889a024 /docs/linux | |
| parent | b431b2cc4c68297f3267543f1bbd4a91cd42d1e0 (diff) | |
syz-manager: don't save repros sent to dashboard
These repros eat unbounded amount of disk space.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions