diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-08 22:59:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-08 22:59:16 +0100 |
| commit | 4b414f45c47d699da4442ac2347c3b1684616cc0 (patch) | |
| tree | baa92d07597a189d3ad4590b0a2bf7c95e0bd328 /editor/icons/icon_GUI_tab.svg | |
| parent | 99da4669795525001250ae4e170f59d9c0e6c53f (diff) | |
| parent | 3af5dfbbf30a212f4b1b409cd0eb7c0bdcd8e257 (diff) | |
Merge pull request #15507 from poke1024/fix15106
Fix whole word search missing occurences
Diffstat (limited to 'editor/icons/icon_GUI_tab.svg')
0 files changed, 0 insertions, 0 deletions