Commit 441aa3044f43e5572f58c354f01e6bc070acd5c7

Bruno Haible 2009-12-10T20:28:30

Use spaces for indentation, not tabs.