Rémi Verschelde 8c11f883d9
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.
2019-06-13 12:10:05 +02:00
..
2019-04-06 18:05:05 +02:00
2019-06-04 16:24:32 +02:00
2019-06-04 16:24:32 +02:00
2019-06-06 02:40:20 -03:00