diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-31 23:53:22 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-31 23:53:22 +0200 |
commit | bae40a20154bdd7f371b41b766d89c3dbe871e81 (patch) | |
tree | 6afcf2496f7df753bb95f3ba899d794c035b31fb /assets | |
parent | f335e3b97130161171f9164c9d00469ff5088b77 (diff) |
view/html: list-of-matching-bugs: Use search-widget.
Diffstat (limited to 'assets')
0 files changed, 0 insertions, 0 deletions