diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-02-23 21:42:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 21:42:31 +0100 |
| commit | bd76ca01d40b007fec74e945c1f64843882e0f60 (patch) | |
| tree | 2e924e123e52b1e82cad7040d3f1e87aca674927 /editor/editor_themes.h | |
| parent | c3dc5fe12f1375bcc63270dbe02f2f256072d3b4 (diff) | |
| parent | ed482f6167276bebd4132b82a6683392ac41f97a (diff) | |
Merge pull request #36485 from ofrank123/master
Fix crash after closing a GDScript LSP session
Diffstat (limited to 'editor/editor_themes.h')
0 files changed, 0 insertions, 0 deletions