diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-13 22:48:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-13 22:48:05 +0200 |
| commit | 1fed266bf5452b30376db62495f4985f6975f2c1 (patch) | |
| tree | 09f30dcd07883ea0c34b28fa6d0107a19c6b781b /doc/tools | |
| parent | d0628180aef4987d24f91329e4c3378b5a037a34 (diff) | |
| parent | 509afcea92ee12649a8bed982ae6bff7bc984c7c (diff) | |
Merge pull request #32809 from bruvzg/macos_1015_non_hidpi_fix
Fix non-HiDPI mode on HiDPI displays on macOS Catalina.
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions