Minor style change.

This commit is contained in:
Christoph Lohmann 2014-09-28 08:03:42 +02:00
parent dd705d43eb
commit 3e89b4451c