diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-09 16:52:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-09 16:52:32 +0200 |
| commit | 24ce46e2a17558cfdfbfab8c8109b6630a19287f (patch) | |
| tree | 17b36ea833b7f88f46c75fe44fa875e9b0ac1ed2 /servers | |
| parent | 82031fa231506ef036ccd06e740a7ca2ceca20d0 (diff) | |
| parent | 817d4db21f183d4e1bdb5c1101f221aa3ed10da0 (diff) | |
Merge pull request #64938 from YuriSizov/editor-scaled-icons
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions