Code cleanup.

This commit is contained in:
Martin Edenhofer 2016-03-08 07:41:09 +01:00
parent 1721d92020
commit 483ecff67b