diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-01-31 17:23:27 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-31 17:23:27 +0100 |
commit | da187c875d4e1a94b3f6ccb0ca30924a67800383 (patch) | |
tree | 8fa284826a2d4991580997b09e80f9b2c4e7b9b5 /editor/editor_fonts.h | |
parent | 8b5be97d1d7ce3fa6ca1ff3ef7b00c2a94d43538 (diff) | |
parent | d664d6e634635e7386a9883b0058fba923769c66 (diff) |
Merge pull request #16206 from Hinsbart/fix_empty_prop
ProjectSettings: Disallow adding properties without name.
Diffstat (limited to 'editor/editor_fonts.h')
0 files changed, 0 insertions, 0 deletions