Re: Problems on OSX with version 1.5.2

[Honest Guvnor]

On 10/9/07, Jürgen Spitzmüller <[EMAIL PROTECTED]> wrote:
>
> Can you delete the files manually?

Yes. "rmdir" works manually for each directory and "rm -r" works for the lot.