diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-07-31 23:07:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-31 23:07:28 +0200 |
commit | 5af533147482922a08fccc6b514225a6f0e9c2bc (patch) | |
tree | 24c2e076c7a8bcfa49735e9c9807fb09093b45fe /editor/dictionary_property_edit.h | |
parent | be435608b0b1bb6ff3de10009ade5ec2017016d8 (diff) | |
parent | 3082def404091bce1acaa53226c514d105ddf8d1 (diff) |
Merge pull request #40929 from KoBeWi/starhack
Properly disambiguate unsaved scripts
Diffstat (limited to 'editor/dictionary_property_edit.h')
0 files changed, 0 insertions, 0 deletions