diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-04-26 18:44:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-26 18:44:55 +0200 |
| commit | fce210c6e86759db5522a2b4c8730325a1894cbd (patch) | |
| tree | 608b71b3f1d568d7b536334c158f479d10731df3 /editor/dictionary_property_edit.h | |
| parent | 81defea5990018e9c821774605a92ed20510f0b2 (diff) | |
| parent | 50495bcb082738404af3f831cc46fbb443c79b89 (diff) | |
Merge pull request #58346 from aaronfranke/hint-no-range
Allow using other property hints without the range hint
Diffstat (limited to 'editor/dictionary_property_edit.h')
0 files changed, 0 insertions, 0 deletions