diff options
author | bunnei <bunneidev@gmail.com> | 2018-04-15 16:54:36 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-15 16:54:36 -0400 |
commit | 44e09ba8076a31dca0da4a84104c8e4d12827cb0 (patch) | |
tree | aaea9080ef960140ca9b7c475a1e8a8ef7d52d00 /src/common/timer.cpp | |
parent | d6d7d0989cf7d3bcad5cdf8bcb8f61f09f64c4fa (diff) | |
parent | ac628f139d75604467aff5c7ddcb8a641855a6bf (diff) |
Merge pull request #338 from bunnei/unrequire-shared-font
pl_u: Use empty shared font if none is available.
Diffstat (limited to 'src/common/timer.cpp')
0 files changed, 0 insertions, 0 deletions