diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-01-19 09:37:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-19 09:37:39 +0100 |
| commit | 953432f4b6eb7678f71ed0ddf90b27ad93fac577 (patch) | |
| tree | dbe2a37c5410b575fbfd453b2cd73772ed34f48c /editor/icons/icon_area.svg | |
| parent | 50c8019dcdc6c2cd1696ac12da28cc6457dccae1 (diff) | |
| parent | b2abbeca4b38fff3dc90f971a7f9b86399363f28 (diff) | |
Merge pull request #25111 from MelvinWM/master
Editor source status font size, fixes #25039
Diffstat (limited to 'editor/icons/icon_area.svg')
0 files changed, 0 insertions, 0 deletions