Commit 54e1ee6dd19e97aa493a21df3275faed4989af8d

Bruno Haible 2007-05-19T20:32:38

Whitespace change.