PR #2357 Redesign: disable setting theme completely

Redesign: disable setting theme completely #2357

bwindels merged 2 commits into experimental from bwindels/fixedtheme

disable setting theme completely

64991013

bwindels requested a review 7 years ago

disabling setting theme without breaking the build

510cec1e

bwindels merged 4264f915 into experimental 7 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone