diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-11-26 21:46:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-26 21:46:48 +0100 |
| commit | c23710adde23a0e415097dee7d8e6f9ba76a0970 (patch) | |
| tree | b09662b674e747c8c78d62dbea9a28cbe76b293a /modules | |
| parent | a92e885e55bd7cc3139eefe573a30a0ace2493ef (diff) | |
| parent | a04ba76d899ffdb9f486007f35be9ace91bdb01f (diff) | |
Merge pull request #24000 from allkhor/fix_tab_font_3.1
Ceil tabs font size
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions