diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-30 17:40:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-30 17:40:55 +0100 |
| commit | db90f6cf8504bf004fd4c4adcad3a01c0c9e04f7 (patch) | |
| tree | e693d241f1e09b09658f9a087dcf44d4fec9fdbd /core | |
| parent | e37ad996a19396542009b058d00f30a909489834 (diff) | |
| parent | 94e373c978b504d3a91cb9500047272910a8c33c (diff) | |
Merge pull request #34642 from timothyqiu/help-search
Improves Search Help dialog
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions