Skip to content

Check if project is disposed when editorDeinit#248

Merged
AlexPl292 merged 1 commit intoJetBrains:masterfrom yaohui-wyh:masterSep 8, 2020

Commits

Commits on Aug 2, 2020