diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-05 16:13:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-05 16:13:27 +0100 |
| commit | ff65d33e8c278bfbbbad18f9db959b2bbe04f919 (patch) | |
| tree | 8bb7d8e495d55cd87ec7318bc46d1ef86f00823e /editor/code_editor.h | |
| parent | cdd63fa8722da2cce75d3d9db65ce06548a5fa31 (diff) | |
| parent | 8dc12135cd42a8742d77c3f3267181af1da85da1 (diff) | |
Merge pull request #58785 from timothyqiu/ani-dup-nam
Fix animation resource name after duplication in editor
Diffstat (limited to 'editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions