diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2023-02-16 16:54:05 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2023-02-16 17:01:23 +0100 |
| commit | d1c0cfb50aebd66e3437fcdcaabc0ba4fc9a23b0 (patch) | |
| tree | ba0032c3f8433a7b12d4fc210978fcf031655889 /pkg/subsystem/linux | |
| parent | a591dd14217030b23cb158bdb135e8019d282d14 (diff) | |
tools/demo_setup.sh: fix corpus location
It original was deleted or something.
I hope the new corpus will be parsed by the old manager.
Fixes #3688
Diffstat (limited to 'pkg/subsystem/linux')
0 files changed, 0 insertions, 0 deletions