Closed jancborchardt closed 10 years ago
Hides the settings area which is not needed at the moment. And which we should strive to not make needed at all with good defaults.
@brantje ^
Closed with: 7046469a7f6d3e72122a67e000af9059239c8260
Hides the settings area which is not needed at the moment. And which we should strive to not make needed at all with good defaults.