diff options
author | Philipp Mildenberger | 2022-03-01 11:57:57 +0000 |
---|---|---|
committer | GitHub | 2022-03-01 11:57:57 +0000 |
commit | 49c5bc59340c05a7fb79e29bad5452fb8d3d9b4f (patch) | |
tree | 99cf8953ff89135b164970331cd69679118efc3c /.cargo | |
parent | 14e2ced440a2ba0f1794644f5cc1295a5738ad36 (diff) |
Add jumplist support for the search (closes #1625) (#1718)
Diffstat (limited to '.cargo')
0 files changed, 0 insertions, 0 deletions