pluto: Some whitespace cleanup.

This commit is contained in:
Tobias Brunner
2011-08-15 15:53:26 +02:00
parent 6224a34481
commit 19e12db79c
7 changed files with 19 additions and 19 deletions