diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-25 14:03:44 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-25 14:03:44 +0200 |
| commit | dd3de622d8d32400955b77564be3442f77e3a204 (patch) | |
| tree | 38724d39902f8e06bca10601b3a19595f80c5c60 /editor/editor_plugin_settings.h | |
| parent | c4f0062f15408988e743d65cb98dbb7347c29cf3 (diff) | |
| parent | 6c1ac9f3bef9ff1026127bb76d44d1019887eeaf (diff) | |
Merge pull request #62372 from MarcusElg/nosliderrename
Rename @export_range's noslider option to no_slider
Diffstat (limited to 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions