diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-24 08:31:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-24 08:31:15 +0200 |
| commit | b67ccf1a6f326c5d4d5fa1cc7cd15eff3573f8f7 (patch) | |
| tree | 4f79289028eef459304355cf1c14c4d1e62ccab5 /editor/editor_settings.h | |
| parent | 11f362b510ba7feaab116ff39c1d0b1c7bf9da6f (diff) | |
| parent | 961ee3a1d7c15731c4e5dbb731fb01a509a78078 (diff) | |
Merge pull request #43046 from aaronfranke/button-group
Rename button group property to button_group
Diffstat (limited to 'editor/editor_settings.h')
0 files changed, 0 insertions, 0 deletions