diff etc/PROBLEMS @ 39603:5d5957da979a

(Fcopy_file): If NEWNAME is a directory copy FILE there.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 05 Oct 2001 12:50:48 +0000
parents 8c40e04af510
children 4aaeaa3a8e3b
line wrap: on
line diff