On Tue, 14 Jan 2003, Steve Prentice <[EMAIL PROTECTED]> wrote:

> yes, simply replacing the ']' characters with &#x5d; would be
> enough.

OK, patched on CVS.

Stefan

--
To unsubscribe, e-mail:   <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>

Reply via email to