diff options
| author | Andreas Haas <Hinsbart@users.noreply.github.com> | 2017-10-03 19:56:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-03 19:56:14 +0200 |
| commit | a848fa6cdeb00f0c40f259cde2d59112272e3c51 (patch) | |
| tree | 1c6246c425eb58f900bf713256bf37e6de606e13 /thirdparty/fonts | |
| parent | d08f7ee7bf9b8f207739b4916b1c7ba7028eaecc (diff) | |
| parent | bb69855f1ac32d657e53c388d12b37464f4efa7c (diff) | |
Merge pull request #11789 from djrm/pr_visual_improvements
Added correct initialization for script editor theme.
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions