On Tue, 09 Sep 2003, Jack J. Woehr <[EMAIL PROTECTED]> wrote:

> I posted this on user@ ... maybe not the right place.

True, development stuff (including patches) should be on the dev list.

> Trivial antidote diff that clears up 7 of 15 javadoc warnings during
> build.

Will be committed in a few seconds, thanks

        Stefan

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

Reply via email to