Re: [Jmol-developers] patch & LoggingTool

[E.L. W. <eg...@sc...>]

On Tuesday 06 May 2003 12:34, Miguel wrote:
> You recall that we had an initial problem with the LoggingTool. We thought
> it was a caching issue. It turns out that you forgot to check in the new
> jmolappletcdk.jar into the jmol source tree. But I built the library again
> in cdk and moved it over ... then it worked fine.

How clumsy. 

> I have *not* yet checked this in. Let me know if you would like for me to
> do it.

Yes, please check it in.

Egon