Minor formatting adjustment.

This commit is contained in:
Oliver Schmidt 2012-02-10 18:56:40 +01:00
parent f5debc9d42
commit cb12d7b745