Fix default skin removal
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Aug 5 2012, 12:13 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:471d5593744d: Update installto/update script to remove old default skins and copy all…
- Branches
- Unknown
- Tags