tree a0b567fd23188815e9c79e56d09bca51fe24bf92
parent 4c1c88457ec02ba30d899b6142163b08a3998683
author Dirk Mueller <dirk@dmllr.de> 1389724385 +0100
committer Dirk Mueller <dirk@dmllr.de> 1389724385 +0100

Add missing whitespace in config description

Change-Id: Ie7e66b9de0a1d14de795166671d31fc9bbeae206