Commit e5a57cd6deff6f0714de88d9b24fd4af751e5bd6

Bruno Haible 2009-12-12T15:33:49

Tweak whitespace.