diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-25 18:43:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 18:43:33 +0200 |
| commit | c5b2ce8b06ed52e834984039be380bb97aa6ebf4 (patch) | |
| tree | 0de1f48b9ba9b23208acecd43940e05e7f9bba7f /scene | |
| parent | 28fcc5e25aa9859361c18c22e48ffd893f7e51cb (diff) | |
| parent | 5ed5465023d9fca649b87bc4c5f7243af5918d94 (diff) | |
Merge pull request #32340 from YeldhamDev/minitab_icon_substitution
Replace "GuiMiniTabMenu" with "GuiTabMenu" and tweak it
Diffstat (limited to 'scene')
0 files changed, 0 insertions, 0 deletions