Add skin config options to dont_override list
... so e.g. options in user preferences will be hidden.
Description
Description
Details
Details
- Provenance
machniak Authored on Nov 28 2017, 3:32 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:3b0e3deb2152: Fix js error on servers without 'mime' extension
- Branches
- Unknown
- Tags