Skip to content

improve styling of preferences side menu#4556

Merged
LinusDietz merged 1 commit intomasterfrom pref-sidemenu-layoutDec 28, 2018

Commits

Commits on Dec 28, 2018