Whitespace cleanup.

This commit is contained in:
Georg Brandl 2012-06-24 13:58:31 +02:00
parent 9dcbfc353d
commit f78755968a
1 changed files with 6 additions and 6 deletions