style fix

This commit is contained in:
Christoph Jentzsch 2014-10-15 12:22:20 +02:00
parent 66d4df6af3
commit 1325b40ba5