diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-09-20 01:30:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-20 01:30:16 +0200 |
commit | cd2ffdc6725aa6f7a9a4af6fd5abcc4cafae61b4 (patch) | |
tree | d522c884bfd3fc023c07ad5f618c44034fbd273d /core/os | |
parent | 593511b2b8d697d07d8185deebcb038c48d2dd1c (diff) | |
parent | 52c0550dd7fa101428eb4d9ecf4fe5b59e34abec (diff) |
Merge pull request #11309 from djrm/pr_hack_font
Changed Mononoki font to Hack font
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions