diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-10-03 22:43:26 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2018-10-05 21:37:26 +0200 |
commit | 7063878243b55f211dc80bf09af400de191b4b9e (patch) | |
tree | 943199c4c166e347e9da1556151a83e1932a278b /misc/travis | |
parent | caa141a1ac630144e441f89689baa1a74bb3bae5 (diff) |
Fix Find in Files font size on hiDPI displays
This closes #22692.
Diffstat (limited to 'misc/travis')
0 files changed, 0 insertions, 0 deletions