diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-05-26 10:57:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-05-26 11:54:32 +0200 |
| commit | 750ce1649cc6e2b51bc65b574f6a71399980af4c (patch) | |
| tree | d0cecb32997731a3eca48297b8947c6881a5086f /.gitignore | |
| parent | 8eec0f87394a6b98775c1c74b3bcbb1c11f6fb55 (diff) | |
syz-manager: fix config link
We use manager name as text of /config link,
but manager name can be empty.
Use "config" if name is empty.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions