diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-07 11:43:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-07 11:43:39 +0200 |
commit | c5da418b0bebec626df34f69ca924838be74827a (patch) | |
tree | 001d9073d2f5edcf8db51fc52561fe9cbb616db5 /platform/android/java | |
parent | 7aa580a84e0b34dc8e49f44432b4612a9d2436c9 (diff) | |
parent | 7063878243b55f211dc80bf09af400de191b4b9e (diff) |
Merge pull request #22698 from Calinou/fix-find-files-hidpi
Fix Find in Files font size on hiDPI displays
Diffstat (limited to 'platform/android/java')
0 files changed, 0 insertions, 0 deletions