Re: [ jEdit-devel ] javadoc <pre> tags

[Slava P. <sl...@je...>]

On Sun, Jul 01, 2001 at 11:28:37AM +0200, Dirk M=F6bius wrote:
> Then why not put a special rule for pre tags in java.xml? I think
> JavaDoc justifies for a special exception here.

Ok, done.

Slava