Commit 7816a90a6b48681a2d98e6394b0b605a1d1f713c

Bruno Haible 2010-07-28T10:08:37

Use spaces for indentation, not tabs.