diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-20 09:32:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-20 09:32:49 +0200 |
| commit | ecd226c6a751f8a20766363fd1f2e1e0e2da8fba (patch) | |
| tree | b26188602ee2bfd306a7d096a7ab728a32ebadce /servers | |
| parent | f5c15018ac3660e83e98b2d9708fab1c00ec6eb3 (diff) | |
| parent | d2536a0cf1c938a7882c73dede753bb78daae04c (diff) | |
Merge pull request #11422 from poke1024/fixsourcefontsize2
Better script code font size rescaling on retina displays
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions