diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-12-12 13:59:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-12 13:59:17 +0100 |
| commit | ab1a80504e81430be1221a6653fc3934006bbe50 (patch) | |
| tree | 19037ba8315a9470e0f0a0c4adf8537e6b4d4847 /servers | |
| parent | 4fe5a1dbefaa8bedc14755e84702342d7aea1157 (diff) | |
| parent | bfab0fe3db8b5a2cb2f128f23e3502ff668fe459 (diff) | |
Merge pull request #24267 from YeldhamDev/buttongroup_remove_panel_theme
Remove "panel" theme property from ButtonGroup
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions