A few fixes (style, preferences application)
authorBenjamin Auder <benjamin.auder@somewhere>
Tue, 11 Dec 2018 13:35:08 +0000 (14:35 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Tue, 11 Dec 2018 13:35:08 +0000 (14:35 +0100)

No differences found