Style nitpick

This commit is contained in:
Marco Pesenti Gritti 2007-08-17 19:55:17 +02:00
parent 34a1c81aa5
commit 07905f0c40