Commit 740b6ed284f7fdd75cbb03193d0bf568962932cd

Bruno Haible 2006-01-23T20:38:51

Simplify.