diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-24 09:09:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-24 09:09:30 +0200 |
| commit | a2b20c15be30ede857e1fc3cd4612d92396f9a75 (patch) | |
| tree | b9dc0d54449db41b2f9fb3b2b169d86428ec9f70 /doc/tools | |
| parent | 81afea620f7b11860b4622ee62b6470b1cd8f84a (diff) | |
| parent | 842a3efe84759df0e7b8323482494016e0b6485c (diff) | |
Merge pull request #61698 from raulsntos/icon_color-editor-theme
Add icon colors to editor theme
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions