Commit 04606dd55fd8f1a122a21c4b4e09ab2a36498385

Bruno Haible 2009-02-21T12:10:21

Remove old, dead code in last commit.