diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-14 16:05:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-14 16:05:47 +0200 |
| commit | aded76cb84fd1081279d2ed11fd73b553c6e6b4e (patch) | |
| tree | 097312bc17a616744d6c87683518113c26818e12 /servers | |
| parent | 167d48fde1ca5644780a97a33c07e10aa522437d (diff) | |
| parent | 0c182ce8e8eac8e85c09eed75c3f284be03fd323 (diff) | |
Merge pull request #41256 from YeldhamDev/editor_checkbutton_small
Make the editor's 'CheckButton' icon be smaller
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions