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 /demos/3d/platformer/texture.tex | |
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 'demos/3d/platformer/texture.tex')
0 files changed, 0 insertions, 0 deletions