diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-10 08:01:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-10 08:01:32 +0100 |
commit | 2e89dd19b1f1dfe5de1ff8cdeb21539efc2b3f09 (patch) | |
tree | e75fd52f582e60351ea4bc6b1a5054a736c1eafa /scene | |
parent | eef1e3bb985e28c90893ea64d5ed4598814c9427 (diff) | |
parent | 12251a3a15f537e6102a9ffe9a02a1b930d48e99 (diff) |
Merge pull request #12794 from djrm/pr_visual_improvements
Fixed project manager and dialog fonts.
Diffstat (limited to 'scene')
0 files changed, 0 insertions, 0 deletions