diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-07 11:47:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-07 11:47:21 +0200 |
| commit | 9d23f1bf1a5b8c1b17a69d928834f92635eedd78 (patch) | |
| tree | d889e53053b173b9399163c4c4c02abd7eb47d95 /thirdparty/zstd | |
| parent | 952fe9d50664203292531cbb264f71ddf4c27d19 (diff) | |
| parent | 048f149478bf72061613a553f5cfc3d4fa8d4d1a (diff) | |
Merge pull request #19399 from guilhermefelipecgs/fix_theme_change
Fix theme not updating with changes
Diffstat (limited to 'thirdparty/zstd')
0 files changed, 0 insertions, 0 deletions