Revision fa86b4003fa082d78668cfab0fe16b61a5677011

Committed on 26/06/2008 9:18 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Whitespace fixes.