Minor format change.

This commit is contained in:
henry
2008-06-10 17:47:35 +01:00
parent d325f236b1
commit 46b4f7d377