diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-17 13:13:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 13:13:08 +0200 |
| commit | 45344c6a025b029ec864a6d9b7a1723fb43f4ab6 (patch) | |
| tree | 6bcd94c65ee3302a465f9d4c3ad1529cb860b540 /servers | |
| parent | e1754c0a1336ef12992b6c4e19fef74afa3b14c1 (diff) | |
| parent | 855cfe1559fe489aaaca8d395ba791d4bd2bb40d (diff) | |
Merge pull request #51651 from pycbouh/editor-merge-custom-theme
Add support for partial custom editor themes
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions