diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-07-25 14:54:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-25 14:54:27 +0200 |
commit | 4c74f50d1adfea1ebba208b980fe85018a8bfa1c (patch) | |
tree | bc1303a2767d099eca9e39e6503d0c911026cb13 /modules/mono/glue/Managed/IgnoredFiles/Variant.cs | |
parent | 27d1e63dd461d6a61c2ef4f784e14ad7b9dfdc24 (diff) | |
parent | 17901da1a8a3f8351524db9b415459c17a00c1eb (diff) |
Merge pull request #30351 from bojidar-bg/30288-override-global-theme
Keep track of default theme and project custom default theme seperatelly
Diffstat (limited to 'modules/mono/glue/Managed/IgnoredFiles/Variant.cs')
0 files changed, 0 insertions, 0 deletions