On 6/19/06, Michael Rimov <[EMAIL PROTECTED]> wrote:
Done, it turns out that the nightly builds aren't updating the source -- when I did a full build from subversion, things worked.
Thanks for the hint. Don't know whether I have succeeded, but I did my best to fix it. Jochen -- Whenever you find yourself on the side of the majority, it is time to pause and reflect. (Mark Twain) --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
