#9776: fix some spacing.

This commit is contained in:
Georg Brandl 2010-09-05 17:09:18 +00:00
parent a9b51d2a0e
commit 1f94cd0c7a
1 changed files with 3 additions and 3 deletions