diff options
| author | Noshyaar <poommetee@protonmail.com> | 2017-12-27 10:17:53 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-27 10:17:53 +0700 |
| commit | d5f92c2baa5aa9d23443e5ea4450b5c4501976ca (patch) | |
| tree | 8d9df33989e42d920ab9b77ee49856f54f6bff9e /doc | |
| parent | d5918b5da6438722f91f4ec0384941d0315e9dd2 (diff) | |
| parent | 056bc123f8186248c1869224a6a7afbfd23bfc51 (diff) | |
Merge pull request #15081 from volzhs/fix-status-font
Fix text editor status font
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions