diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-13 08:09:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-13 08:09:37 +0200 |
| commit | 1ccc2af2263f599681c92fe4e11995ece6ccc074 (patch) | |
| tree | a5249b369fd810e0de113152890b863d2d10c7e1 /platform/android | |
| parent | 575e6a2d4aecf5a51c245c5e4bc2f67c05fd6344 (diff) | |
| parent | 3d86ef74e714599a3da02a588d96915c535ab267 (diff) | |
Merge pull request #31254 from YeldhamDev/text_editor_find_files
Add "Find in Files..." to the text editor
Diffstat (limited to 'platform/android')
0 files changed, 0 insertions, 0 deletions