Small layout improvement.

This commit is contained in:
Martin Edenhofer 2015-06-28 02:24:21 +02:00
parent fcee6e7f99
commit fcf4a2d30f