diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-26 08:03:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-26 08:03:41 +0200 |
| commit | da03791e454e27cda66248d72d85947a8493dcbd (patch) | |
| tree | 7147acc3e315026fae1fdca7cd19b8c80c1df1ca /editor/plugins/texture_editor_plugin.h | |
| parent | 777f26fe29718a6609bea84f693ae96d8f22a01c (diff) | |
| parent | 541c4bfd6ebd256a8b2ec321c1276575e7f2d56b (diff) | |
Merge pull request #11598 from djrm/pr_fix_code_editor_close
Fix missing code editor find and replace missing hover icon.
[ci skip]
Diffstat (limited to 'editor/plugins/texture_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions