diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-06-13 12:10:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-13 12:10:05 +0200 |
commit | 8c11f883d9c96b08d2dd4b6bc72caf0c9d9543c5 (patch) | |
tree | 74540bc739c42fea9406b4ffe9239b2ee9f9e903 /COPYRIGHT.txt | |
parent | 41a62f3ac3e45eaa1dc5f6de7b72040eda983070 (diff) | |
parent | 0823d783745994b9a03d21762a9d532a55d00b86 (diff) |
Merge pull request #29129 from kis3lori/remove-save-theme-for-default
Created a fallback from the "Save Theme" button to "Save Theme As" when a default theme is in use.
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions