diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-05 08:47:06 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-05 08:47:06 +0200 |
commit | 9cd62741bb0e2f410b2fb861f66e2cf10fe0334d (patch) | |
tree | 82ffbf069a0391707089d4f70445895359ccd8dd /modules/text_server_fb/gdextension_build | |
parent | 52f5a58c38928b2b713907ae1fe2f988a1bfd807 (diff) | |
parent | 094e8db97c3bb0f88aca32228a49f72cca745c9a (diff) |
Merge pull request #66839 from aaronfranke/editor-prop-hide-slider
Fix `hide_slider` vs `no_slider` inconsistency in editor property code
Diffstat (limited to 'modules/text_server_fb/gdextension_build')
0 files changed, 0 insertions, 0 deletions