diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-13 15:38:48 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-13 15:38:48 -0300 |
commit | 137464af870d4155d948c5956876936c54c8d6f4 (patch) | |
tree | 2a6d53e4d62d0a8f91ca5395ddb77eedbd0a98ed /tools/editor/editor_path.h | |
parent | 5f674bdca1dafd7073c769a3830dac15f5dbc9d6 (diff) | |
parent | b90ecc6e0a5fe2c664b33ef6dd563290bbe35841 (diff) |
Merge pull request #5187 from volzhs/find-nomatch-notice
change "No matches" noticeable on finder
Diffstat (limited to 'tools/editor/editor_path.h')
0 files changed, 0 insertions, 0 deletions