diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-30 07:30:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-30 07:30:55 +0200 |
| commit | f925572976a23b1a8e4c422cce59accb4390f71a (patch) | |
| tree | 477eeacbc657dfc35c18484dd46b9a0315c86507 /editor/fileserver | |
| parent | 43dfc12e724d58e438f14e238eb8db51c6b01ab6 (diff) | |
| parent | 88ab58821d8797054a3f6aa8d1eb4718e6e462a2 (diff) | |
Merge pull request #65044 from YuriSizov/editor-fix-theme-n-stuff
Fix some editor theme regressions
Diffstat (limited to 'editor/fileserver')
0 files changed, 0 insertions, 0 deletions