diff options
| author | emersion <contact@emersion.fr> | 2018-05-10 12:31:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-10 12:31:58 +0100 |
| commit | 64bd4d568557a002efa6e1585ee86f2c63918638 (patch) | |
| tree | f29f1c025932e02cea4ff08214d1e15d952ceca6 /assets | |
| parent | 94cf3f1b17c7e9a6f8d6d107ccb6ae2fc7c7079b (diff) | |
| parent | 497793b5b73ef0fec20a74f0ce3d612930148011 (diff) | |
Merge pull request #1950 from RyanDwyer/fix-font-height-reload
Use reasonable default for font height
Diffstat (limited to 'assets')
0 files changed, 0 insertions, 0 deletions