On Mon, 16 Feb 2004, Mariano Benitez <[EMAIL PROTECTED]> wrote: > I meant an option to delete, not altering the default behaviour, If > you are sure you are using that file, delete it on exit explicitly.
Works for me. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
