Revision 70318136f59efc991fd57517a825f54f137ddd20

Committed on 18/03/2008 9:02 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Fix whitespace.