Removed not needed empty space.

This commit is contained in:
Martin Edenhofer 2014-07-29 07:23:24 +02:00
parent d8cdcc13d0
commit f49f6767e7