diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-27 20:19:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-27 20:19:55 +0100 |
| commit | 7530824cc49242b4c760112ecd6b8b5be1e4a495 (patch) | |
| tree | b2bddb3ccb6bb7fcc7a002f8a1763b4d8a8cda31 /editor/doc | |
| parent | 2b3431e2b7706894d1aeb865f7b4ef93345bbbd4 (diff) | |
| parent | 8c80b602ac51c5bceec4f767692e694d9ce73450 (diff) | |
Merge pull request #36077 from pycbouh/repeat-search-in-files
Add a button to quickly repeat last search in files
Diffstat (limited to 'editor/doc')
0 files changed, 0 insertions, 0 deletions