Commit dcd94562ea3106d75eec5f6ac4ddf9eb3039fca4

Bruno Haible 2003-07-17T10:48:32

Fix an HTML bug.