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]
