Override default skin value read from user prefs
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jul 30 2012, 12:36 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:6a3df52f8280: Update changelog with default skin renaming
- Branches
- Unknown
- Tags