Dear list, I want to move some files that should keep their time stamps, which is not the case if I use file.copy in combination with file.remove. file.move would be nice, is there a package providing such a function? Regards, Stefan