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 /thirdparty | |
| parent | eef1e3bb985e28c90893ea64d5ed4598814c9427 (diff) | |
| parent | 12251a3a15f537e6102a9ffe9a02a1b930d48e99 (diff) | |
Merge pull request #12794 from djrm/pr_visual_improvements
Fixed project manager and dialog fonts.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions