Commit 4483e8110bce1cceedf9be7ff06227ffd1fdd8cc

Bruno Haible 2003-05-06T10:27:28

Not needed in CVS.