diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-12-09 16:45:45 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-12-09 16:45:45 +0100 |
| commit | 2d84943a2bb377914beed7767d01275a1f529889 (patch) | |
| tree | 675915dd9fad4e54970482ad34775d79c377ba86 /core | |
| parent | 02d352bfbf94ec07d4add7ecb2c860289c57657a (diff) | |
| parent | c2ce39c4249f4e11cc0955b469c27c67a650f51e (diff) | |
Merge pull request #3027 from TheHX/pr-project-manager-font
Fix project manager not picking up custom font
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions