diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 18:55:33 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-09-21 18:55:33 +0200 |
| commit | e82a237f9998aecc7bd5fa7e77ebcba87e1b4e2c (patch) | |
| tree | 78723895a2fc5f4502b289586ea11f3e12238010 /modules/text_server_adv | |
| parent | 9840d54d8e116122837e6b9d57fd2ed59ed39b05 (diff) | |
| parent | 02572f2c62ca798f37eeb18d21660df6f3a8ed65 (diff) | |
Merge pull request #65934 from YuriSizov/editor-theme-big-thumb
Improve icon generation in the editor theme
Diffstat (limited to 'modules/text_server_adv')
0 files changed, 0 insertions, 0 deletions