>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:

Juergen> BTW, Jean-Marc, is there a special reason why we don't use
Juergen> opening quotes after '['? I think we should (analogous to
Juergen> '(').

Yes, we definitely should. Did you fix that? (1.3.5cvs could use this
too).

JMarc

Reply via email to