diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-26 21:17:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-26 21:17:25 +0100 |
| commit | 3b2e423c6f2acd14a13befd60dd45df4a244d55f (patch) | |
| tree | 01ee8d9bc8bfe82f970e740129f6d86c62727b09 /platform/osx/detect.py | |
| parent | 7e4cfe4b9412711908119d346033b9267d1dadc6 (diff) | |
| parent | a86db9b347a5e0169a010c587208c68c0417a4c7 (diff) | |
Merge pull request #13222 from Calinou/tweak-editor-help-font-sizes
Tweak editor help font sizes for better readability
Diffstat (limited to 'platform/osx/detect.py')
0 files changed, 0 insertions, 0 deletions