diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-22 12:10:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-22 12:10:23 +0200 |
| commit | a63167459c6972f3750bf22799897a711e7556ba (patch) | |
| tree | acb99dab272126eb66501876a5e1f509a396789d /tools/editor_fonts | |
| parent | 2f776af2e600639c8d214e19555f3452a558692f (diff) | |
| parent | 0ec2b7baea235c3c5cf43ab296b40c06982b32de (diff) | |
Merge pull request #6581 from vnen/fix-mainscreen-crash
Fix crash when disabling main screen plugin
Diffstat (limited to 'tools/editor_fonts')
0 files changed, 0 insertions, 0 deletions