On Mon, 6 May 2002, GOMEZ Henri <[EMAIL PROTECTED]> wrote: > Patch attached ;)
Thanks, I've committed a modified version that doesn't add optional.jar - this is the same build.bat does and optional.jar is only a by-product of bootstrap anyway. Stefan -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
