diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-04-11 22:27:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-11 22:27:29 +0200 |
| commit | 712bb8cbb6ee35b111c6171598a807dd2dd3046c (patch) | |
| tree | 0fcdee30a29fc142ec772aa85d4de0462acd07b0 /platform/android/dir_access_jandroid.cpp | |
| parent | 43f89e7c2ca080168ebf8adc1c23489491320429 (diff) | |
| parent | 77597ea47cb6c5e7e0b9506cc8e8c305f0f59d9c (diff) | |
Merge pull request #47175 from YeldhamDev/help_search_early_match
Select non-perfect matches if necessary in the Search Help dialog
Diffstat (limited to 'platform/android/dir_access_jandroid.cpp')
0 files changed, 0 insertions, 0 deletions