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 /doc/classes/SceneState.xml | |
parent | 50c8019dcdc6c2cd1696ac12da28cc6457dccae1 (diff) | |
parent | b2abbeca4b38fff3dc90f971a7f9b86399363f28 (diff) |
Merge pull request #25111 from MelvinWM/master
Editor source status font size, fixes #25039
Diffstat (limited to 'doc/classes/SceneState.xml')
0 files changed, 0 insertions, 0 deletions