diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-25 07:13:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-25 07:13:58 +0200 |
| commit | 7a0a39cd52e3e8ce5d6b0cfd9d3b4d27f82c2a68 (patch) | |
| tree | 00653c43bf5c57afc02fb8b230d09449059b6bcd /COPYRIGHT.txt | |
| parent | 930d6d8ca4c34b0383d232335902f7f808806a66 (diff) | |
| parent | 69c5d637f2fe0cdcc2e741ed8fb710ac7c28ea6a (diff) | |
Merge pull request #33041 from volzhs/help-font-size
Recalculate margin based on help source font size
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions