diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-10 08:59:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-10 08:59:39 +0100 |
| commit | 83f2942a0421baaaaf06eeebcc17261369fe5118 (patch) | |
| tree | f455a6978fc176f3e812d0ebd89472c2647d042f /servers | |
| parent | 277b0dddee2f0f9ae6e7eb698a06f4d9f71c28e1 (diff) | |
| parent | 83828c7d1b1a7175421b34273ae236c61f621a7f (diff) | |
Merge pull request #58969 from timothyqiu/ani-editor-theme
Fix some Animation panel icons not updating after theme change
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions