On Tue, 2003-06-17 at 08:25, Michael Hart wrote: > This problem has been fixed in the latest CVS sources as far as I can tell. > > There have been a number of messages about this problem and their > various workarounds in the past month, so just have a hunt around the > mail archives.
It works with the latest sources from CVS. thanks, Michael --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
