diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-03-20 09:34:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 09:34:53 +0100 |
| commit | 87404bda8a48eafd98630a7bbe4eb80e9c9969fb (patch) | |
| tree | e8dec3434286fb09893a6c1a0c0bb58f2960a0b8 /editor/editor_help_search.h | |
| parent | 63f77efdc6a1e178d356f33509cebb33b0e2c8e2 (diff) | |
| parent | c7cf624836c50807560b6efa46261e417f9c3295 (diff) | |
Merge pull request #37169 from AndreaCatania/AndreaCatania-patch-2
Fixes navigation path reset
Diffstat (limited to 'editor/editor_help_search.h')
0 files changed, 0 insertions, 0 deletions