diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-04-24 22:36:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-24 22:36:51 +0200 |
commit | 214222d37d899b5bf9999c270b8da99f7a403cab (patch) | |
tree | 95809b2091df3384f33d96e6d1e204636408dc96 /editor/editor_themes.h | |
parent | b6e0eaf3ca74d9777c6869d8519db6264866d1e6 (diff) | |
parent | 67886bab1eb0599ec724192a4298c980e6107f2a (diff) |
Merge pull request #8516 from karroffel/gdscript-save-fix
fixed a bug where saving a GDScript file crashed the editor
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions