update for new kwin settings stuff

Authored by jriddell on Oct 18 2019, 3:25 PM.

Description

update for new kwin settings stuff

Details

Committed
jriddellOct 18 2019, 3:25 PM
Parents
R576:c9efab7f1087: new repo names
Branches
Unknown
Tags
Unknown